liquidhaskell-0.5.0.0: tests/ffi-include/foo.h

int foo(int);