@namespace("gregor.1")
protocol outgoing {
  void broadcastMessage(Message m);
}