Property based test framework in C.