working on an interpreter for use in a partial evaluator