pub const DeadLockState_DS_NOT_YET_CHECKED: DeadLockState = 0;