testPushTopLevel