digraph d {
  init -> null;
  init -> unconnectedServer;
  init -> unconnectedClient;
  init -> unconnectedMediated;
  unconnectedServer -> connectedServer;
  unconnectedClient -> connectedClient;
  unconnectedMediated -> connectedMediated;
}