Remove EnterInt handler and the body of the interpreter in native mode.
Remove EnterInt handler and the body of the interpreter in native mode.

polyml/polyml,dcjm/polyml,polyml/polyml,dcjm/polyml,dcjm/polyml,polyml/polyml,polyml/polyml,dcjm/polyml