push_count bug