to pass the basic test in FormatGen.py