4.6 Startup Conditions

This sections describes the state of the Tcode machine when it is started.

• The code array holds the program to execute, with the initial entry point at address 0.
• The contents of the data array are undefined.
• The content of the Return Register RR is undefined.
• The content of the class context pointer SELF is undefined.
• The Instruction Pointer IP is set to zero.
• The Stack Pointer SP and the Frame Pointer FP are both set to the size of the data array, so that decrementing them by BPW will give the address of the highest addressable machine word.