{-# NOINLINE func #-}
func :: Int