extern long f(long, long, long);
extern long g(long);
return  (15==f(5,7,1) && 7==g(4));