Create fsm_example.h