#include "kernel/kernel_prelude.hats"

implement main0 () = (
  println!("Hello World");
  println!("Hello World");
)