/regress/lib/libprop/
../
proptest.c