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