debugged exit after push