Whiley.whiley

import std::ascii
import std::io

method main(ascii::string[] args):
    io::println("Hello World")