func main {
    with args ;
    "Hello World!\n" puts
    0
}