Symbol: annotated_insn_loc