c.system.#.port.name .outport.#.event.name  = (#x:formal-parameter) => {
  c.match("#.port.name .#.event.name");
  c.dzn_runtime.call_out(c, () => {
    if(c.flush) c.dzn_runtime.queue(c).Enqueue(() => {
      if(c.dzn_runtime.queue(c).Count == 0) {
        Console.Error.WriteLine("#.port.name .<flush>");
        c.match("#.port.name .<flush>");
      }
    });
  }, c.system.#.port.name , "#.event.name ");
};
