extern long f7(long a); return f7(0)==0 && f7(1)==1 && f7(2)==1;