Symbol: KREG_R15