debug push4