int foo80(int x) { return x; }
int foo81(int x) { return x; }
int foo82(int x) { return x; }
int foo83(int x) { return x; }
int foo84(int x) { return x; }
int foo85(int x) { return x; }
int foo86(int x) { return x; }
int foo87(int x) { return x; }
