s/push_char/push/g