2.2.1.1.2. Example: Kalisto Processor Context Switching