This is a debugger changed from kiril's debugger