The normal debugger