extern long f9(long a);

return f9(0)==1 && f9(1)==1 && f9(2)==1;