this.#.port.name .#.event.direction port.#.event.name  =
  (#x:formal-parameter) => {
    #x:out-ref-local  dzn_runtime.call_#.event.direction(this,
      () => {
      var pump = dzn_locator.try_get<dzn.pump>();
      if(pump != null) pump.skip_block.Remove(this.#.port.name);
      #x:foreign-reply #.port.name _#.event.name(#x:code-arguments);
      #x:flush
      #x:foreign-return
    }, this.#.port.name , "#.event.name");
    #x:assign-out-ref
  };
