// used by the test, empty file