module Main where
f3 x
  = case x of
        _ -> 12