default world the-world {
  export y: func()
}