String push -> push_char