digraph fcgistate {
  init -> connect -> prepwrite -> write -> read -> close
  write -> write
  read -> read
  connect -> connect
}