docs: @Requires({
      "contextLocal >= 0",
      "skip != null"
    })
    protected void leaveBusySection(Label skip) {
      loadLocal(contextLocal);
      invokeVirtual(CONTRACT_CONTEXT_TYPE, LEAVE_CONTRACT_METHOD);
      mark(skip);
    }