state allocation module