stam fsm_tool1_framework.h