PROPTEST_FILES := \
	proptest.c