Symbol: REG_R15