A translated test file