CFSMs are numbered as below 0. channel ch 1. channel done 2. main → done 1 ? int → done 1 ? int 3. Send :19 → ch 0 ! int 4. Recv :20 → ch 0 ? int → done 1 ! done 5. Recv :21 → ch 0 ? int → done 1 ! done