fun hello (): string =
  raise Fail "'hello' is not implemented"