extern long f(long, long);
return  (12==f(5,7));