debug push3