-- | Previously, this was a smart constructor to raise an error if the address
--   is invalid, but we didn't find a way to parameterize the valid address
--   space by the platform, so now mkReg accepts all addresses.
mkReg :: forall t. IvoryIOReg t => Integer -> Reg t
mkReg addr = Reg addr
mkReg :: forall t. IvoryIOReg t => Integer -> Reg t
mkReg addr = Reg addr
mkReg addr = Reg addr