VM_Type t = VM_Array.getPrimitiveArrayType(10);
VM_Type t = VM_Array.IntArray;
  static final void boot (VM_BootRecord theBootRecord)    throws InterruptiblePragma {    // get addresses of TIBs for VM_Array & VM_Class used for testing Type ptrs    VM_Type t = VM_Array.getPrimitiveArrayType(10);    tibForArrayType = VM_ObjectModel.getTIB(t);    tibForPrimitiveType = VM_ObjectModel.getTIB(VM_Type.IntType);    t = VM_Magic.getObjectType(VM_BootRecord.the_boot_record);    tibForClassType = VM_ObjectModel.getTIB(t);  }    