Turned off pushing the program to the code stack by default in run-push