use push(char) to add chars (single-char &strs) to strings instead of push_str(&str)
regex
librustc_mir
