digraph conn_states {
 StandAllone  -> WFConnection   [ label = "ioctl_set_net()" ]
 WFConnection -> Unconnected    [ label = "unable to bind()" ]
 WFConnection -> WFReportParams [ label = "in connect() after accept" ]
 WFReportParams -> StandAllone  [ label = "checks in receive_param()" ]
 WFReportParams -> Connected    [ label = "in receive_param()" ]
 WFReportParams -> WFBitMapS    [ label = "sync_handshake()" ]
 WFReportParams -> WFBitMapT    [ label = "sync_handshake()" ]
 WFBitMapS -> SyncSource        [ label = "receive_bitmap()" ]
 WFBitMapT -> SyncTarget        [ label = "receive_bitmap()" ]
 SyncSource -> Connected
 SyncTarget -> Connected
 SyncSource -> PausedSyncS
 SyncTarget -> PausedSyncT
 PausedSyncS -> SyncSource
 PausedSyncT -> SyncTarget
 Connected   -> WFConnection    [ label = "* on network error" ]
}