let
unlock xdef =
Hdef
.remove lock xdef