googleなら out_string("text0").out_char('c').out_int(1).out_endline(); とかやってそう。