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

int foo(int);