Working constructors and selectors for processor state.