module FSSM::State