import Wayland def main : IO Unit := do let answer ← testAnswer IO.println s!"Hello, world! The answer is {answer}."