Code Editor : debug_locks.h