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" ] }