object FunDef
  def foo(i): Int(32) = { 42 }
end FunDef