fun readStr () = let fun scan reader stream = SOME (StringCvt.splitl (not o Char.isSpace) reader (StringCvt.skipWS reader stream)) in valOf (TextIO.scanStream scan TextIO.stdIn) end fun readInt () = valOf (TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn) val () = let val s = readStr () val t = readStr () val n = readInt () val second = List.tabulate (n, fn _ => t) val ans = String.concatWith "_" ([s] @ second) in print (ans ^ "\n") end