Remove pseudo-code-interpreter.