digraph node_states { Secondary -> Primary [ label = "ioctl_set_state()" ] Primary -> Secondary [ label = "ioctl_set_state()" ] } digraph peer_states { Secondary -> Primary [ label = "recv state packet" ] Primary -> Secondary [ label = "recv state packet" ] Primary -> Unknown [ label = "connection lost" ] Secondary -> Unknown [ label = "connection lost" ] Unknown -> Primary [ label = "connected" ] Unknown -> Secondary [ label = "connected" ] }