ToyProgram translator