an empty program is not valid and would be reasonable grounds for the
compiler to give an error, which would break these tests.