,-------.            
|c      |  ,-.   ,--.
|-------|  |F|   |S2|
|state c|  |-|   |--|
`-------'  `-'   `--'
             |       
             |       
        ,--------.   
        |S1      |   
        |--------|   
        |state S1|   
        `--------'