Symbol: SBCL_REG