A.2 Global State

There are two types of global state: program controlled state which can be modified directly or indirectly by the program, and fixed system dependent state.

• A.2.1 Program Controlled State
• A.2.2 Fixed System Dependent State