code: private int setExceptionalCompletion(Throwable ex) {
          int s = recordExceptionalCompletion(ex);
          if ((s & DONE_MASK) == EXCEPTIONAL)
              internalPropagateException(ex);
          return s;
      }
docs: Records exception and possibly propagates
  
  @return status on exit