Refactored run-program to abstract jnew and jcall to low-level functions (to be replaced by primitives).