anchor.diff:    /**
      * Capability granting the ability to terminate the isolate.
      *
  -   * This capability is used by [kill] and [setErrorsFatal].
  -   * If the capability is not the correct termination capability of the isolate,
  -   * including if the capability is `null`, then calls to those methods will
  -   * have no effect.
  +   * This capability is required by [kill] and [setErrorsFatal].
  +   * If the capability is `null`, or if it is not the correct termination
  +   * capability of the isolate identified by [controlPort],
  +   * then calls to those methods will have no effect.
      */
     final Capability terminateCapability;
   
  
positive.code:   /**
     * Control port used to send control messages to the isolate.
     *
     * This class provides helper functions that sends control messages
     * to the control port.
     *
     * The control port identifies the isolate.
     */
    final SendPort controlPort;
  
    /**
     * Capability granting the ability to pause the isolate.
     *
     * This capability is used by [pause].
     * If the capability is not the correct pause capability of the isolate,
     * including if the capability is `null`, then calls to `pause` will have no
     * effect.
     *
     * If the isolate is started in a paused state, use this capability as
     * argument to [resume] to resume the isolate.
     */
    final Capability pauseCapability;
  
negative.code:    * Resumes a paused isolate.
     *
     * Sends a message to an isolate requesting that it ends a pause
     * that was previously requested.
     *
     * When all active pause requests have been cancelled, the isolate
     * will continue processing events and handling normal messages.
     *
     * If the [resumeCapability] is not one that has previously been used
     * to pause the isolate, or it has already been used to resume from
     * that pause, the resume call has no effect.
     */
    external void resume(Capability resumeCapability);
  
  