an interpreter can go back the other way