Symbol: REG_RAX