let main =
  fun f x = x;
  f 0