Finite state Packages