Implement Tokenizer_push_tag_buffer()