1extern void abort ();
2extern void exit (int);
3
4int f (int a) {
5	if (a != 2) {
6		a = a > 0 ? a : -a;
7		if (a == 2)
8		  return 0;
9		return 1;
10	}
11	return 1;
12}
13
14int main (int argc, char *argv[]) {
15	if (f (-2))
16		abort ();
17	exit (0);
18}
19
20