faster push_set