debug output for interface, basic functional evaluator to debug correctness