module Prelude where primIntFromInteger primitive 1 :: Integer -> Int