Symbol: inj_program_read