+interface Oberon_Integer where
+from_decimal_string :: [Char] -> Oberon_Integer
+ {-# ARITY from_decimal_string = 1 #-}
+from_hex_string :: [Char] -> Oberon_Integer
+ {-# ARITY from_hex_string = 1 #-}
+from_int :: Integer -> Oberon_Integer
+ {-# ARITY from_int = 1 #-}
+isHexDigit :: Char -> Bool
+ {-# ARITY isHexDigit = 1 #-}
+is_short_int :: Oberon_Integer -> Bool
+ {-# ARITY is_short_int = 1 #-}
+data Oberon_Integer
+instance Eq Oberon_Integer
+ {-# ARITY (==) = 2 #-}
+ {-# ARITY (/=) = 0 #-}
+instance Text Oberon_Integer
+ {-# ARITY readsPrec = 0 #-}
+ {-# ARITY showsPrec = 2 #-}
+ {-# ARITY readList = 0 #-}
+ {-# ARITY showList = 0 #-}
+