Factored out push_delimiter.