int foo70(int x) { return x; }
int foo71(int x) { return x; }
int foo72(int x) { return x; }
int foo73(int x) { return x; }
int foo74(int x) { return x; }
int foo75(int x) { return x; }
int foo76(int x) { return x; }
