Make pure_interpreter function reentrant