deadlock rule 34 on Dynamo · LOCKSTAT