c2hs-0.16.6: tests/bugs/issue-30/issue30aux1.c

int foo1(int n) { return n * 2; }