///| fn char_from_code_unit(code : Int) -> String { code.unsafe_to_char().to_string() } ///| fn single_code_unit(s : String, idx : Int) -> String { char_from_code_unit(s.code_unit_at(idx).to_int()) }