fun readInt () = valOf (TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn) fun readStr () = valOf (TextIO.inputLine TextIO.stdIn) fun readNewline () = TextIO.inputLine TextIO.stdIn val () = let val a = readInt () val b = readInt () val _ = readNewline () val s = readStr () in print (Int.toString (a + b) ^ " " ^ s) end