main = fun () int {
  return 1 + 2
}