let unlock xdef =
      Hdef.remove lock xdef