let println = extern println (s: String) -> Nil; println("Hello world!");