Semantic definition of special instructions
Semantic definition of memory instructions