skeleton of ControllerInterpreter