language changes: a..b -> a...b in pat, String::push_char -> String::push.