digraph {
  rankdir=TB

  Uninitialized -> Loaded [label=" read"]
  Loaded -> Loaded [label=" fetch"]
}