{-# LANGUAGE UnboxedTuples #-}
f :: Int -> (# Int, Int #)