deadlocking latches (1000080679);