Create quickcheck.c