#text (IO.put_string ((String.concat text) "\u{a}"))