push machine.c (read_program)