The execution contract defines areas of the program which are executable (yellow). These have diminished over the years as the contract has tightened.