direct_push4