the state ... (which is a constant defined in ?