val _ = print (concat [IntInf.toString 0x80000000, "\n"])