digraph G {
  //rankdir=LR;
  //Unknown -> Up;
  //Unknown -> Down;
  Down -> Up;
  Down -> StartingViaPing;
  StartingViaPing -> StartingFromCmdLine;
  StartingViaPing -> Up;
  StartingFromCmdLine -> Up;
  StartingFromCmdLine -> Down;
  Up -> Down;
  Up -> Stopping;
  Stopping -> Up;
  Stopping -> Down;
}
