main f.txt 3 main::BEGIN 1 0   0
main f.txt 0 main::CHECK 1 0   0
main f.txt 0 main::INIT 1 0   0
main f.txt 0 main::END 1 0   0