It seems like they are using the debugger.