digraph slavescan {
    node [fontname="Helvetica"]

    start
    start -> address [weight=10]

    address
    address -> state [weight=10]

    state
    state -> base [weight=10]

    base
    base -> dc_cap [weight=10]
    base -> enter_datalink [fontname="Helvetica", label="DC not\nsupported"]

    dc_cap
    dc_cap -> enter_datalink [weight=10]

    enter_datalink [shape=point, label=""]
    enter_datalink -> datalink [weight=10]

    datalink
    datalink -> sii_size [weight=10]

    sii_size
    sii_size -> sii_data [weight=10]

    sii_data
    sii_data -> end [fontname="Helvetica", label="No category\ndata"]
    sii_data -> enter_preop [weight=10]

    enter_preop [shape=point, label=""]
    enter_preop -> preop [fontname="Helvetica", label="Not in\nPREOP"]
    enter_preop -> sync [weight=10]

    preop
    preop -> enter_pdos [weight=10]

    sync
    sync -> enter_pdos [weight=10]

    enter_pdos [shape=point, label=""]
    enter_pdos -> pdos [weight=10]

    pdos
    pdos -> end [weight=10]

    end
}