Rewriting INTERPRET.