val _ = print(concat[Char.toCString #"\000",
                     String.toCString "\000",
                     "\n"])