Version 0 of **statespec