os.writeMOV(INTSIZE, Register.EBX, stackEndField.getOffset(), Register.EDX);
os.writeMOV(INTSIZE, Register.EBX, threadStackEndField.getOffset(), Register.EDX);   os.writeMOV_Const(Register.EBX, processor); os.writeMOV(INTSIZE, Register.EBX, procStackEndField.getOffset(), Register.EDX);
	protected void initVmThread(X86Stream os) throws BuildException, ClassNotFoundException {		final VmType vmThreadClass = loadClass(VmThread.class);		final VmInstanceField threadStackField = (VmInstanceField) vmThreadClass.getField("stack");		final VmInstanceField stackEndField = (VmInstanceField) vmThreadClass.getField("stackEnd");		final VmThread initialThread = processor.getCurrentThread();		os.setObjectRef(new Label("$$Setup initial thread"));		os.writeMOV_Const(Register.EBX, initialThread);		/** Initialize initialStack.stack to Luser_stack */		//os.writeMOV(Register.ECX, threadStackField.getOffset());		os.writeMOV_Const(Register.EDX, initialStack);		os.writeMOV(INTSIZE, Register.EBX, threadStackField.getOffset(), Register.EDX);		// Calculate and set stackEnd		os.writeLEA(Register.EDX, Register.EDX, VmThread.STACK_OVERFLOW_LIMIT);		os.writeMOV(INTSIZE, Register.EBX, stackEndField.getOffset(), Register.EDX);	}