Control.CUtils.Deadlock
data
Res
t u
liftK
lft
acq
rel
fork
run