Symbol: ALLOC_RESULT_REG_B