1digraph conn_states {
2	StandAllone  -> WFConnection   [ label = "ioctl_set_net()" ]
3	WFConnection -> Unconnected    [ label = "unable to bind()" ]
4	WFConnection -> WFReportParams [ label = "in connect() after accept" ]
5	WFReportParams -> StandAllone  [ label = "checks in receive_param()" ]
6	WFReportParams -> Connected    [ label = "in receive_param()" ]
7	WFReportParams -> WFBitMapS    [ label = "sync_handshake()" ]
8	WFReportParams -> WFBitMapT    [ label = "sync_handshake()" ]
9	WFBitMapS -> SyncSource        [ label = "receive_bitmap()" ]
10	WFBitMapT -> SyncTarget        [ label = "receive_bitmap()" ]
11	SyncSource -> Connected
12	SyncTarget -> Connected
13	SyncSource -> PausedSyncS
14	SyncTarget -> PausedSyncT
15	PausedSyncS -> SyncSource
16	PausedSyncT -> SyncTarget
17	Connected   -> WFConnection    [ label = "* on network error" ]
18}
19