Now the tests use MainProgram