module Main where
f4 x = s
  where s = 12