Symbol: find_prog_by_sec_insn