import stdio::* fn main(): print <- "Hello World"