Finite-state-machine Packages