push_splitting OK