1

     2

/* $Id$ */

     3

     4

digraph sii {

     5

     6

    start_reading [fontname="Helvetica"]

     7

    start_reading -> read_check [weight=5]

     8

     9

    read_check [fontname="Helvetica"]

    10

    read_check -> error

    11

    read_check -> read_fetch [weight=5]

    12

    13

    read_fetch [fontname="Helvetica"]

    14

    read_fetch -> error

    15

    read_fetch -> end [weight=5]

    16

    read_fetch -> read_fetch

    17

    18

    start_writing [fontname="Helvetica"]

    19

    start_writing -> write_check [weight=5]

    20

    21

    write_check [fontname="Helvetica"]

    22

    write_check -> error

    23

    write_check -> write_check2 [weight=5]

    24

    25

    write_check2 [fontname="Helvetica"]

    26

    write_check2 -> error

    27

    write_check2 -> end [weight=5]

    28

    write_check2 -> write_check2

    29

    30

    end [fontname="Helvetica"]

    31

    32

    error [fontname="Helvetica"]

    33

}