module M where

{-# NOINLINE foo #-}
foo :: Int -> Int
foo n = n + 1