Testing C code with Erlang QuickCheck