fp@1203: 
fp@1203: /* $Id$ */
fp@1203: 
fp@1203: digraph sii {
fp@2513:     node [fontname="Helvetica"]
fp@2513:     edge [fontname="Helvetica", fontsize="12"]
fp@1203: 
fp@2513:     start_reading
fp@1804:     start_reading -> read_check [weight=5]
fp@1203: 
fp@2513:     read_check
fp@1804:     read_check -> error
fp@1804:     read_check -> read_fetch [weight=5]
fp@1203: 
fp@2513:     read_fetch
fp@1804:     read_fetch -> error
fp@1804:     read_fetch -> end [weight=5]
fp@1804:     read_fetch -> read_fetch
fp@1203: 
fp@2513:     start_writing
fp@1804:     start_writing -> write_check [weight=5]
fp@1203: 
fp@2513:     write_check
fp@1804:     write_check -> error
fp@1804:     write_check -> write_check2 [weight=5]
fp@1203: 
fp@2513:     write_check2
fp@1804:     write_check2 -> error
fp@1804:     write_check2 -> end [weight=5]
fp@1804:     write_check2 -> write_check2
fp@1203: 
fp@2513:     end
fp@1203: 
fp@2513:     error
fp@1203: }