Add knownset_test.c