FCode almost works, still includes directly TripleSet.cpp