Symbol: inj_program_run