diff --git a/src/pim/Generator.cpp b/src/pim/Generator.cpp
index 0cbdbfc1c..3f296b7ab 100644
--- a/src/pim/Generator.cpp
+++ b/src/pim/Generator.cpp
@@ -43,6 +43,15 @@ namespace pim
 			program.push_back((constant>>24) & 0xFF);
 		}
 
+		void Generator::writeConstantPlaceholderOffset(int value, int * offset)
+		{
+			valueOffsetPlaceholders.push_back(ValueOffsetPlaceholder(program.size(), std::pair<int, int*>(value, offset)));
+			program.push_back(0);
+			program.push_back(0);
+			program.push_back(0);
+			program.push_back(0);
+		}
+
 		void Generator::writeConstantPlaceholder(std::string label)
 		{
 			placeholders.push_back(Placeholder(program.size(), label));
@@ -118,6 +127,22 @@ namespace pim
 				program[cPosition.first+3] = (value >> 24) & 0xFF;
 			}
 
+			for(std::vector<ValueOffsetPlaceholder>::iterator iter = valueOffsetPlaceholders.begin(), end = valueOffsetPlaceholders.end(); iter != end; ++iter)
+			{
+				ValueOffsetPlaceholder cPosition = *iter;
+				int value = cPosition.second.first;
+				int offset = *cPosition.second.second;
+
+				std::cout << "Setting value placeholder at " << cPosition.first << " with " << value << " + " << offset << std::endl;
+						
+				value += offset;
+
+				program[cPosition.first] = value & 0xFF;
+				program[cPosition.first+1] = (value >> 8) & 0xFF;
+				program[cPosition.first+2] = (value >> 16) & 0xFF;
+				program[cPosition.first+3] = (value >> 24) & 0xFF;
+			}
+
 			//Build file
 			int macroSizePos, propSizePos, codeSizePos, macroSize = 0, propSize = 0, codeSize = program.size();
 			std::vector<unsigned char> file;
@@ -224,6 +249,8 @@ namespace pim
 			scopes.push(currentScope);
 			Scope * prevScope = currentScope;
 			currentScope = new Scope();
+			currentScope->FrameSize += 4;	//Space for return address
+			currentScope->LocalFrameSize += 4;
 			defineLabel(label);
 
 			output << "." << label << std::endl;
@@ -236,6 +263,7 @@ namespace pim
 			currentScope = new Scope();
 			currentScope->Definitions.insert(currentScope->Definitions.begin(), prevScope->Definitions.begin(), prevScope->Definitions.end());
 			currentScope->FrameSize = prevScope->FrameSize;
+			currentScope->OldFrameSize = prevScope->OldFrameSize;
 			defineLabel(label);
 
 			output << "." << label << std::endl;
@@ -243,16 +271,27 @@ namespace pim
 
 		void Generator::PopScope()
 		{
-
-			writeOpcode(Opcode::Return);
+			writeOpcode(Opcode::Leave);
 			writeConstant(currentScope->LocalFrameSize);
 
-			output << "return " << currentScope->LocalFrameSize << std::endl;
+			output << "leave " << currentScope->LocalFrameSize << std::endl;
 
 			currentScope = scopes.top();
 			scopes.pop();
 		}
 
+		void Generator::ExitScope()
+		{
+			currentScope = scopes.top();
+			scopes.pop();
+		}
+
+		void Generator::Return()
+		{
+			writeOpcode(Opcode::Return);
+			output << "return" << std::endl;
+		}
+
 		void Generator::ScopeLabel(std::string label)
 		{
 			//defineLabelwriteOpcode("." << label);
@@ -294,12 +333,12 @@ namespace pim
 
 		void Generator::ScopeVariable(std::string label)
 		{
-			currentScope->Definitions.push_back(Definition(label, typeStack.top(), currentScope->FrameSize));
+			currentScope->Definitions.push_back(Definition(label, variableType, currentScope->LocalFrameSize, currentScope));
 			currentScope->FrameSize += 4;
 			currentScope->LocalFrameSize += 4;
 			typeStack.pop();
 
-			output << "#declare " << label << " " << currentScope->FrameSize-4 << std::endl;
+			output << "#declare " << label << " " << currentScope->LocalFrameSize-4 << std::endl;
 		}
 
 		void Generator::PushVariableAddress(std::string label)
@@ -313,7 +352,8 @@ namespace pim
 
 			pushType(d.Type);
 			writeOpcode(Opcode::Load);
-			writeConstant(d.StackPosition);
+
+			writeConstant(d.StackPosition+(currentScope->FrameSize-d.MyScope->FrameSize));
 
 			output << "load " << label << std::endl;
 		}
@@ -337,14 +377,17 @@ namespace pim
 			popType(2);
 
 			writeOpcode(Opcode::Store);
-			writeConstant(d.StackPosition);
+
+			writeConstant(d.StackPosition+(currentScope->FrameSize-d.MyScope->FrameSize));
+			//writeConstantPlaceholderOffset(currentScope->GetDefinition(label).StackPosition, &(currentScope->OldFrameSize));
+			//writeConstant(currentScope->GetDefinition(label).StackPosition);
 
 			output << "store " << label << std::endl;
 		}
 
 		void Generator::RTConstant(std::string name)
 		{
-			pushType(Type::Integer);
+			pushType(DataType::Integer);
 			writeOpcode(Opcode::Constant);
 			writeConstantMacroPlaceholder(name);
 
@@ -417,14 +460,14 @@ namespace pim
 		{
 			popType(1);
 			pushType(DataType::Integer);
-			writeOpcode(OpCode::ToInteger);
+			writeOpcode(Opcode::ToInteger);
 		}
 
 		void Generator::ToFloat()
 		{
 			popType(1);
 			pushType(DataType::Float);
-			writeOpcode(OpCode::ToFloat);
+			writeOpcode(Opcode::ToFloat);
 		}
 
 		void Generator::Divide()
@@ -592,10 +635,5 @@ namespace pim
 
 		}
 
-		void Generator::Return()
-		{
-
-		}
-
 	}
 }
\ No newline at end of file
diff --git a/src/pim/Generator.h b/src/pim/Generator.h
index db793dd57..ca20d6df5 100644
--- a/src/pim/Generator.h
+++ b/src/pim/Generator.h
@@ -37,16 +37,19 @@ namespace pim
 			}
 			~SymbolNotFoundException() throw() {};
 		};
+		class Scope;
 		class Definition
 		{
 		public:
 			std::string Name;
 			int Type;
 			int StackPosition;
-			Definition(std::string name, int type, int position) :
+			Scope * MyScope;
+			Definition(std::string name, int type, int position, Scope * myScope) :
 				Type(type),
 				Name(name),
-				StackPosition(position)
+				StackPosition(position),
+				MyScope(myScope)
 			{
 
 			}
@@ -65,9 +68,11 @@ namespace pim
 			std::vector<Label> Labels;
 			int FrameSize;
 			int LocalFrameSize;
+			int OldFrameSize;
 			Scope():
 				FrameSize(0),
-				LocalFrameSize(0)
+				LocalFrameSize(0),
+				OldFrameSize(0)
 			{
 
 			}
@@ -98,6 +103,9 @@ namespace pim
 			typedef std::pair<int, int*> ValuePlaceholder;
 			std::vector<ValuePlaceholder> valuePlaceholders;
 
+			typedef std::pair<int, std::pair<int, int*> > ValueOffsetPlaceholder;
+			std::vector<ValueOffsetPlaceholder> valueOffsetPlaceholders;
+
 			typedef std::pair<int, std::string> PropertyPlaceholder;
 			std::vector<PropertyPlaceholder> propertyPlaceholders;
 
@@ -117,6 +125,7 @@ namespace pim
 			void writeConstant(int constant);
 			void writeConstantPlaceholder(std::string label);
 			void writeConstantPlaceholder(int * value);
+			void writeConstantPlaceholderOffset(int value, int * offset);
 			void writeConstantMacroPlaceholder(std::string macro);
 			void writeConstantPropertyPlaceholder(std::string property);
 		
@@ -131,6 +140,7 @@ namespace pim
 			void PushLocalScope(std::string label);
 			void LocalEnter();
 			void PopScope();
+			void ExitScope();
 
 			void ScopeLabel(std::string label);
 			void ScopeVariableType(int type);
diff --git a/src/pim/Machine.cpp b/src/pim/Machine.cpp
index a87ddb6c1..c69fa52ed 100644
--- a/src/pim/Machine.cpp
+++ b/src/pim/Machine.cpp
@@ -251,11 +251,12 @@ namespace pim
 		case Opcode::JumpLess:
 		case Opcode::JumpLessEqual:
 		case Opcode::Jump:
-		case Opcode::Return:
+		case Opcode::Leave:
 		case Opcode::LocalEnter:
 		case Opcode::LoadProperty:
 		case Opcode::StoreProperty:
 			return 4;
+		case Opcode::Return:
 		case Opcode::Discard:
 		case Opcode::Duplicate:
 		case Opcode::Add:
@@ -402,9 +403,11 @@ namespace pim
 			case Opcode::Jump:
 				programCounter = argument.Integer-1;
 				break;
-			case Opcode::Return:
+			case Opcode::Leave:
 				callStack += argument.Integer;
 				break;
+			case Opcode::Return:
+				break;
 			case Opcode::LocalEnter:
 				callStack -= argument.Integer;
 				break;
@@ -425,6 +428,8 @@ namespace pim
 		std::fill(romAddress, romAddress+executableCode.size()+8, 0x90);	//Fill with NOP for debugging
 		std::copy(executableCode.begin(), executableCode.end(), romAddress+4);
 		nativeRom = (intptr_t)romAddress;
+		printf("%p\n", romAddress);
+		fflush(stdout);
 
 		delete native;
 	}
diff --git a/src/pim/Opcodes.inl b/src/pim/Opcodes.inl
index 14ed1cf6e..17e2d3dcd 100644
--- a/src/pim/Opcodes.inl
+++ b/src/pim/Opcodes.inl
@@ -27,4 +27,5 @@ OPDEF(JumpLess)
 OPDEF(JumpLessEqual)
 OPDEF(Jump)
 OPDEF(Return)
+OPDEF(Leave)
 OPDEF(LocalEnter)
\ No newline at end of file
diff --git a/src/pim/Parser.cpp b/src/pim/Parser.cpp
index 9ad31032e..91b50f867 100644
--- a/src/pim/Parser.cpp
+++ b/src/pim/Parser.cpp
@@ -50,7 +50,6 @@ namespace pim
 			expect(Token::FunctionSymbol);
 
 			functionName = token.Source;
-			//generator->ScopeLabel(functionName);	//Function name
 			generator->PushScope(functionName);
 			expect(Token::Identifier);
 
@@ -62,9 +61,10 @@ namespace pim
 			}
 			block();
 			expect(Token::EndSymbol);
+
+			generator->ExitScope();
 			generator->Return();
 
-			generator->PopScope();
 		}
 		
 		/*
@@ -401,7 +401,7 @@ namespace pim
 			generator->Jump(loopLabel+"Next");
 			
 			generator->ScopeLabel(loopLabel+"End");
-			generator->Return();
+			//generator->Return();
 			generator->PopScope();
 			expect(Token::EndSymbol);
 		}
diff --git a/src/pim/X86Native.cpp b/src/pim/X86Native.cpp
index 1d4fb48eb..bbc0a66aa 100644
--- a/src/pim/X86Native.cpp
+++ b/src/pim/X86Native.cpp
@@ -14,8 +14,12 @@ namespace pim
 		//int * esi = malloc(1024*1024);
 		emit("BE");					//mov esi, machineStack
 		emit((intptr_t)esi);
+		//emit("81 EC");				//sub esp, 12
+		//emit(12);
+#ifdef DEBUG
 		emit("81 C4");				//add esp, 4
 		emit(4);
+#endif
 		while(programCounter < romSize)
 		{
 			Word argument = rom[programCounter].Parameter;
@@ -226,7 +230,7 @@ namespace pim
 				emitPlaceholder(argument.Integer);
 				break;
 			case Opcode::JumpNotEqual:
-				emit("83 C6 04"); 								//add esi, 8
+				emit("83 C6 08"); 								//add esi, 8
 				emit("8B 46 FC");								//mov eax, [esi-4]
 				emit("3B 46 F8"); 								//cmp eax, [esi-8]
 				emit("74 05");									//je 8
@@ -270,21 +274,28 @@ namespace pim
 				emitPlaceholder(argument.Integer);
 				break;
 			case Opcode::Return:
-				emit("81 C7");									//add edi, constant
+				emit("C3");										//ret
+				break;
+			case Opcode::Leave:
+				//emit("81 C7");								//add edi, constant
+				emit("81 C4");									//add esp, constant
 				emit(argument.Integer);
 				break;
 			case Opcode::LocalEnter:
-				emit("81 EF");									//sub edi constant
+				//emit("81 EF");								//sub edi constant
+				emit("81 EC");									//sub esp constant
 				emit(argument.Integer);
 				break;
 			}
 			//std::cout << programStack << std::endl;
 			programCounter++;
 		}
+#ifdef DEBUG
 		emit("81 EC");				//sub esp, 4
+		//emit("81 EC");			//sub esp, 4
 		emit(4);
-		emit("C9");					//leave
-		emit("C3");					//ret
+		emit("C9");					//leave			//When -fomit-frame-pointers is used, don't 'leave', since ebp isn't on the stack
+#endif
 		for(std::map<int, int>::iterator iter = placeholders.begin(), end = placeholders.end(); iter != end; ++iter)
 		{
 			std::pair<int, int> placeholder = *iter;