let escape_str = String.escaped