Update fsm.h