Symbol: INSN16_FUNCT1b