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