From e3014f21ee17ad23fbee57e1879669bb5822b07d Mon Sep 17 00:00:00 2001
From: Sharivan <misterioso_matematico@hotmail.com>
Date: Wed, 18 Sep 2024 15:20:49 -0300
Subject: [PATCH] =?UTF-8?q?-=20Adicionadas=20novas=20fun=C3=A7=C3=B5es=20p?=
 =?UTF-8?q?ara=20convers=C3=A3o=20entre=20texto=20e=20n=C3=BAmeros=20?=
 =?UTF-8?q?=C3=A0=20=C3=BAnidade=20System.=20J=C3=A1=20existiam=20fun?=
 =?UTF-8?q?=C3=A7=C3=B5s=20deste=20tipo,=20mas=20somente=20para=20strings?=
 =?UTF-8?q?=20nativas,=20agora=20foi=20dado=20o=20devido=20suporte=20para?=
 =?UTF-8?q?=20as=20strings=20contatas=20por=20refer=C3=AAncia.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

- Adicionada a função UltimoErro à unidade System que retorna o código do último erro ocorrido em uma chamada, ou 0 caso não tenha ocorrido erro. O código de erro é atribuido automaticamente pelas funções esternas que podem gerar alguma exceção, por exemplo, a função TextoParaInt. Enquanto ainda não é adicionado suporte nativo a manipulação de exceções à linguagem, essa será a abordagem para lidar com erros.

- Adicionado suporte a zoom para o painel de assembly.

- Adicionada persistência do fator de zoom do console. Desta forma o zoom dado no console será salvo com o fechamento do programa e restaurado quando aberto novamente.

- Adicionados atalhos para os comandos de depuração.

- Adicionados mais exemplos, sugestões dos seguidores dadas no em minha live do Dia do Programador ocorrido em 13/09/2024.

- Painel de depuração de variáveis agora mostra os endereços relativos e absolutos de ambas.

- Painel de stack mostra o deslocamento a partir do ponteiro base para cada linha.

- Corrigida a geração de código envolvendo a concatenação de strings com números.

- Corrigido um bug na geração de código da instrução "quebra".

- Corrigido alguns bugs relacionado a alocação e liberação de variaveis de tipos contados por referência.

- Refatorações menores.
---
 .editorconfig                         |   4 +
 Asm/Assembler.cs                      |  18 +-
 Comp/CompilationUnity.cs              |   6 +-
 Comp/Compiler.cs                      |  59 ++++--
 Comp/CompilerParser.cs                |   5 +-
 Comp/Context.cs                       |  22 +-
 Comp/Expr/CompilerBinaryExpression.cs | 124 +++++++++--
 Comp/Expression.cs                    |  22 +-
 Comp/Function.cs                      |  53 +++--
 Comp/Lex/Literal.cs                   |   5 +-
 Comp/Lex/NumericLiteral.cs            |   6 +-
 Comp/Lex/Token.cs                     |   9 +-
 Comp/LocalVariable.cs                 |   8 +-
 Comp/Statement.cs                     |  19 +-
 Comp/Types/AbstractType.cs            |   5 +-
 Comp/Types/ArrayType.cs               |   5 +-
 Comp/Types/ClassType.cs               |   5 +-
 Comp/Types/NamedType.cs               |  15 +-
 Comp/Types/PointerType.cs             |   5 +-
 Comp/Types/PrimitiveType.cs           |   5 +-
 Comp/Types/StringType.cs              |   5 +-
 Comp/Types/TypeEntry.cs               |  17 ++
 Comp/Variable.cs                      |  22 +-
 Examples/ExercicioMatheus.sl          |  28 +++
 Examples/ExercicioMatheus2.sl         |  49 +++++
 Examples/ExercicioMatheus3.sl         |  35 +++
 Examples/ExercidioDoRevista.sl        |  22 ++
 GUI/BreakPointMargin.cs               |   8 +-
 GUI/ErrorRenderer.cs                  |   5 +-
 GUI/FrmSimpleCompiler.Designer.cs     |  57 +++--
 GUI/FrmSimpleCompiler.cs              | 115 ++++++++--
 GUI/FrmSimpleCompiler.resx            |   9 +-
 GUI/ProgramConfiguratinSection.cs     |  23 ++
 GUI/SourceTab.cs                      |  34 +--
 GUI/SteppingRenderer.cs               |   5 +-
 Program.cs                            |   5 +-
 SimpleCompiler.csproj                 |   3 +
 VM/Error.cs                           |  11 +
 VM/LocalVariableNode.cs               |   5 +-
 VM/VirtualMachine.cs                  |  48 +++--
 examples/NumerosPerfeitos.sl          |   4 +-
 examples/System.sl                    |  28 ++-
 examples/TesteString.sl               |  30 +--
 units/UnitySystem.cs                  | 293 +++++++++++++++++++++++++-
 44 files changed, 972 insertions(+), 289 deletions(-)
 create mode 100644 .editorconfig
 create mode 100644 Comp/Types/TypeEntry.cs
 create mode 100644 Examples/ExercicioMatheus.sl
 create mode 100644 Examples/ExercicioMatheus2.sl
 create mode 100644 Examples/ExercicioMatheus3.sl
 create mode 100644 Examples/ExercidioDoRevista.sl
 create mode 100644 VM/Error.cs

diff --git a/.editorconfig b/.editorconfig
new file mode 100644
index 0000000..9768497
--- /dev/null
+++ b/.editorconfig
@@ -0,0 +1,4 @@
+[*.cs]
+
+# IDE0008: Usar o tipo explícito
+csharp_style_var_elsewhere = true
diff --git a/Asm/Assembler.cs b/Asm/Assembler.cs
index b2dc609..cf46fc5 100644
--- a/Asm/Assembler.cs
+++ b/Asm/Assembler.cs
@@ -1,9 +1,7 @@
-using System;
+using Comp;
+using System;
 using System.Collections.Generic;
 using System.IO;
-
-using Comp;
-
 using VM;
 
 namespace Asm;
@@ -141,7 +139,7 @@ public void CopyCode(byte[] output)
 
     public void CopyCode(byte[] output, int off, int len)
     {
-        var position = this.output.Position;
+        long position = this.output.Position;
         this.output.Position = 0;
         this.output.Read(output, off, len);
         this.output.Position = position;
@@ -149,7 +147,7 @@ public void CopyCode(byte[] output, int off, int len)
 
     public void CopyCode(Stream output)
     {
-        var position = this.output.Position;
+        long position = this.output.Position;
         this.output.Position = 0;
         this.output.WriteTo(output);
         this.output.Position = position;
@@ -162,7 +160,7 @@ public void CopyConstantBuffer(byte[] output)
 
     public void CopyConstantBuffer(byte[] output, int off, int len)
     {
-        var position = constantOut.Position;
+        long position = constantOut.Position;
         constantOut.Position = 0;
         constantOut.Read(output, off, len);
         constantOut.Position = position;
@@ -433,11 +431,7 @@ public void EmitLoadConst(double number)
     public void EmitLoadConst(IntPtr ptr)
     {
         writer.Write((byte) Opcode.LC64);
-
-        if (IntPtr.Size == sizeof(int))
-            writer.Write((int) ptr);
-        else
-            writer.Write((long) ptr);
+        writer.Write((long) ptr);
     }
 
     public void EmitLoadIP()
diff --git a/Comp/CompilationUnity.cs b/Comp/CompilationUnity.cs
index 1185571..19c3a2f 100644
--- a/Comp/CompilationUnity.cs
+++ b/Comp/CompilationUnity.cs
@@ -1,8 +1,6 @@
-using System.Collections.Generic;
-
-using Asm;
-
+using Asm;
 using Comp.Types;
+using System.Collections.Generic;
 
 namespace Comp;
 
diff --git a/Comp/Compiler.cs b/Comp/Compiler.cs
index 51c9445..b765556 100644
--- a/Comp/Compiler.cs
+++ b/Comp/Compiler.cs
@@ -1,11 +1,9 @@
-using System;
-using System.Collections.Generic;
-using System.IO;
-
-using Asm;
-
+using Asm;
 using Comp.Lex;
 using Comp.Types;
+using System;
+using System.Collections.Generic;
+using System.IO;
 
 namespace Comp;
 
@@ -17,7 +15,8 @@ public static int GetAlignedSize(int sizeInBytes, int alignSize = sizeof(int))
         return r != 0 ? sizeInBytes + alignSize - r : sizeInBytes;
     }
 
-    public delegate void CompileError(SourceInterval interval, string message);
+    public delegate void InternalErrorEvent(Exception e);
+    public delegate void CompileErrorEvent(SourceInterval interval, string message);
 
     private Lexer lexer;
     private readonly List<Label> labels;
@@ -34,7 +33,8 @@ public static int GetAlignedSize(int sizeInBytes, int alignSize = sizeof(int))
 
     internal int globalVariableOffset;
 
-    public event CompileError OnCompileError;
+    public event InternalErrorEvent OnInternalError;
+    public event CompileErrorEvent OnCompileError;
 
     public string UnityPath
     {
@@ -246,6 +246,7 @@ private void CompileCast(Context context, Assembler assembler, Assembler beforeC
                         return;
 
                     case PointerType:
+                    {
                         switch (p.Primitive)
                         {
                             case Primitive.VOID:
@@ -276,6 +277,7 @@ private void CompileCast(Context context, Assembler assembler, Assembler beforeC
                         }
 
                         return;
+                    }
 
                     default:
                         throw new CompilerException(interval, $"Tipo desconhecido: '{toType}'.");
@@ -495,7 +497,6 @@ private void CompileStatement(Context context, Assembler assembler, Statement st
             case BreakStatement b:
             {
                 var breakLabel = context.FindNearestBreakLabel() ?? throw new CompilerException(b.Interval, "Instrução 'quebra' deve estar dentro de um loop.");
-
                 assembler.EmitJump(breakLabel);
                 break;
             }
@@ -728,60 +729,68 @@ private void CompileStatement(Context context, Assembler assembler, Statement st
 
             case ForStatement f:
             {
+                var forAssembler = new Assembler();
+
                 Context forContext = new(function, f.Interval, context);
 
                 // inicializadores
                 foreach (var initializer in f.Initializers)
-                    CompileStatement(forContext, assembler, initializer);
+                    CompileStatement(forContext, forAssembler, initializer);
 
                 var lblLoop = CreateLabel();
-                assembler.BindLabel(lblLoop);
+                forAssembler.BindLabel(lblLoop);
 
                 // expressão de controle
                 var expression = f.Expression;
                 if (expression != null)
                 {
-                    var expressionType = CompileExpression(forContext, assembler, expression, out _);
+                    var expressionType = CompileExpression(forContext, forAssembler, expression, out _);
                     if (!PrimitiveType.IsPrimitiveBool(expressionType))
                         throw new CompilerException(expression.Interval, "Expressão do tipo bool esperada.");
                 }
                 else
                 {
-                    assembler.EmitLoadConst(true);
+                    forAssembler.EmitLoadConst(true);
                 }
 
                 var lblEnd = CreateLabel();
                 forContext.PushBreakLabel(lblEnd);
 
-                assembler.EmitJumpIfFalse(lblEnd);
+                forAssembler.EmitJumpIfFalse(lblEnd);
 
                 var stm = f.Statement;
-                CompileStatement(forContext, assembler, stm);
+                CompileStatement(forContext, forAssembler, stm);
 
                 // atualizadores
                 foreach (var updater in f.Updaters)
                 {
-                    var updaterType = CompileExpression(forContext, assembler, updater, out var tempVar);
-                    CompilePop(assembler, updaterType);
+                    var updaterType = CompileExpression(forContext, forAssembler, updater, out var tempVar);
+                    CompilePop(forAssembler, updaterType);
 
                     tempVar?.Release();
                 }
 
-                assembler.EmitJump(lblLoop);
-                assembler.BindLabel(lblEnd);
+                forAssembler.EmitJump(lblLoop);
+                forAssembler.BindLabel(lblEnd);
 
                 forContext.DropBreakLabel();
-                forContext.Release(assembler);
+                forContext.Release(forAssembler);
+
+                assembler.Emit(forAssembler);
                 break;
             }
 
             case BlockStatement bl:
             {
+                var blockAssembler = new Assembler();
+
                 Context blockContext = new(function, bl.Interval, context);
                 foreach (var stm in bl)
-                    CompileStatement(blockContext, assembler, stm);
+                    CompileStatement(blockContext, blockAssembler, stm);
+
+                blockContext.Release(blockAssembler);
 
-                blockContext.Release(assembler);
+                assembler.Emit(blockAssembler);
                 break;
             }
 
@@ -848,8 +857,8 @@ internal void CompileFunction(Assembler assembler)
         if (function.IsExtern)
             return;
 
+        var tempAssembler = new Assembler();
         Context context = new(function, function.Interval);
-        Assembler tempAssembler = new();
 
         CompileStatement(context, tempAssembler, function.Block);
         context.Release(tempAssembler);
@@ -1037,6 +1046,10 @@ private bool Compile(string fileName, TextReader input, Assembler assembler)
         {
             OnCompileError?.Invoke(e.Interval, e.Message);
         }
+        catch (Exception e)
+        {
+            OnInternalError?.Invoke(e);
+        }
 
         return false;
     }
diff --git a/Comp/CompilerParser.cs b/Comp/CompilerParser.cs
index 1218beb..7794ae1 100644
--- a/Comp/CompilerParser.cs
+++ b/Comp/CompilerParser.cs
@@ -1,7 +1,6 @@
-using System.IO;
-
-using Comp.Lex;
+using Comp.Lex;
 using Comp.Types;
+using System.IO;
 
 namespace Comp;
 
diff --git a/Comp/Context.cs b/Comp/Context.cs
index 6716d56..4730530 100644
--- a/Comp/Context.cs
+++ b/Comp/Context.cs
@@ -1,8 +1,6 @@
-using System.Collections.Generic;
-
-using Asm;
-
+using Asm;
 using Comp.Types;
+using System.Collections.Generic;
 
 namespace Comp;
 
@@ -84,7 +82,7 @@ public bool IsRoot()
         return Parent == null;
     }
 
-    internal Variable DeclareVariable(string name, AbstractType type, SourceInterval interval, bool recursive = true)
+    internal Variable DeclareVariable(string name, AbstractType type, SourceInterval interval, bool recursive = true, bool tempVar = false)
     {
         if (variableTable.TryGetValue(name, out var result))
             return result;
@@ -94,9 +92,13 @@ internal Variable DeclareVariable(string name, AbstractType type, SourceInterval
 
         if (Function != null)
         {
-            result = new LocalVariable(Function, name, type, interval, RealOffset);
-            offset += Compiler.GetAlignedSize(type.Size);
-            Function.CheckLocalVariableOffset(RealOffset);
+            int realOffset = RealOffset;
+            int varOffset = Function.AcquireFreeOffset(type, realOffset, tempVar);
+            result = new LocalVariable(Function, name, type, interval, varOffset);
+
+            int typeSize = Compiler.GetAlignedSize(type.Size);
+            if (varOffset + typeSize > realOffset)
+                offset = varOffset - realOffset + typeSize;
         }
         else
         {
@@ -112,7 +114,7 @@ internal Variable DeclareVariable(string name, AbstractType type, SourceInterval
 
     internal Variable DeclareTemporaryVariable(AbstractType type, SourceInterval interval)
     {
-        var tempVar = DeclareVariable($"@tempvar_{type}_{temporaryVariables.Count}", type, interval, false);
+        var tempVar = DeclareVariable($"@tempvar_{type}_{temporaryVariables.Count}", type, interval, false, true);
         tempVar.Temporary = true;
         return tempVar;
     }
@@ -161,7 +163,7 @@ internal void DropBreakLabel()
 
     public Label FindNearestBreakLabel()
     {
-        return breakLabels.Count == 0 ? Parent?.FindNearestBreakLabel() : breakLabels.Pop();
+        return breakLabels.Count == 0 ? Parent?.FindNearestBreakLabel() : breakLabels.Peek();
     }
 
     public void Release(Assembler assembler)
diff --git a/Comp/Expr/CompilerBinaryExpression.cs b/Comp/Expr/CompilerBinaryExpression.cs
index 2fd5584..b04c088 100644
--- a/Comp/Expr/CompilerBinaryExpression.cs
+++ b/Comp/Expr/CompilerBinaryExpression.cs
@@ -751,6 +751,57 @@ private AbstractType CompileBinaryExpression(Context context, Assembler assemble
                     {
                         switch (leftType)
                         {
+                            case PrimitiveType p:
+                            {
+                                if (rightType is not PointerType and not StringType)
+                                    throw new CompilerException(rightOperand.Interval, $"Operação inválida com o tipo '{rightType}'.");
+
+                                if (rightType is PointerType rptr && !PrimitiveType.IsPrimitiveChar(rptr.Type))
+                                    throw new CompilerException(rightOperand.Interval, $"Concatenação de strings não pode ser feita com um ponteiro do tipo '{rptr.Type}'.");
+
+                                Assembler beforeLeftAssembler = new();
+                                Assembler beforeRightAssembler = new();
+
+                                var leftTempVar = context.AcquireTemporaryVariable(StringType.STRING, leftOperand.Interval);
+                                beforeLeftAssembler.EmitLoadLocalHostAddress(leftTempVar.Offset);
+
+                                Function func = p.Primitive switch
+                                {
+                                    Primitive.BOOL => unitySystem.FindFunction("BoolParaTexto"),
+                                    Primitive.CHAR => unitySystem.FindFunction("CharParaTexto"),
+                                    Primitive.BYTE or Primitive.SHORT or Primitive.INT => unitySystem.FindFunction("IntParaTexto"),
+                                    Primitive.LONG => unitySystem.FindFunction("LongParaTexto"),
+                                    Primitive.FLOAT => unitySystem.FindFunction("FloatParaTexto"),
+                                    Primitive.DOUBLE => unitySystem.FindFunction("DoubleParaTexto"),
+                                    _ => throw new CompilerException(leftOperand.Interval, "Operando inválido."),
+                                };
+                                int index = GetOrAddExternalFunction(func.Name, func.ParameterSize);
+                                leftAssembler.EmitExternCall(index);
+                                leftAssembler.EmitLoadLocalPtr(leftTempVar.Offset);
+
+                                CompileCast(context, rightAssembler, beforeRightAssembler, rightType, StringType.STRING, false, rightOperand.Interval, out var rightCastTempVar);
+
+                                tempVar = context.AcquireTemporaryVariable(StringType.STRING, expression.Interval);
+                                assembler.EmitLoadLocalHostAddress(tempVar.Offset);
+
+                                assembler.Emit(beforeLeftAssembler);
+                                assembler.Emit(leftAssembler);
+                                assembler.Emit(beforeRightAssembler);
+                                assembler.Emit(rightAssembler);
+
+                                func = unitySystem.FindFunction("ConcatenaTextos2");
+                                index = GetOrAddExternalFunction(func.Name, func.ParameterSize);
+                                assembler.EmitExternCall(index);
+
+                                leftTempVar?.Release();
+                                rightCastTempVar?.Release();
+
+                                assembler.EmitLoadLocalPtr(tempVar.Offset);
+
+                                result = StringType.STRING;
+                                break;
+                            }
+
                             case PointerType ptr:
                             {
                                 if (PrimitiveType.IsPrimitiveVoid(ptr.Type))
@@ -758,22 +809,71 @@ private AbstractType CompileBinaryExpression(Context context, Assembler assemble
 
                                 switch (rightType)
                                 {
-                                    case PrimitiveType rp:
-                                        if (!PrimitiveType.IsPrimitiveInteger(rp))
-                                            throw new CompilerException(rightOperand.Interval, $"Adição de ponteiros inválida com deslocamento do tipo '{rp}'.");
+                                    case PrimitiveType rp: // Concatenação de uma string com um tipo primitivo, isso exige a conversão do primitivo para string para então realizar a concatenação
+                                    {
+                                        if (PrimitiveType.IsPrimitiveChar(ptr.Type))
+                                        {
+                                            Assembler beforeLeftAssembler = new();
+                                            Assembler beforeRightAssembler = new();
+
+                                            CompileCast(context, leftAssembler, beforeLeftAssembler, leftType, StringType.STRING, false, leftOperand.Interval, out var leftCastTempVar);
+
+                                            var rightTempVar = context.AcquireTemporaryVariable(StringType.STRING, rightOperand.Interval);
+                                            beforeRightAssembler.EmitLoadLocalHostAddress(rightTempVar.Offset);
+
+                                            Function func = rp.Primitive switch
+                                            {
+                                                Primitive.BOOL => unitySystem.FindFunction("BoolParaTexto"),
+                                                Primitive.CHAR => unitySystem.FindFunction("CharParaTexto"),
+                                                Primitive.BYTE or Primitive.SHORT or Primitive.INT => unitySystem.FindFunction("IntParaTexto"),
+                                                Primitive.LONG => unitySystem.FindFunction("LongParaTexto"),
+                                                Primitive.FLOAT => unitySystem.FindFunction("FloatParaTexto"),
+                                                Primitive.DOUBLE => unitySystem.FindFunction("DoubleParaTexto"),
+                                                _ => throw new CompilerException(rightOperand.Interval, "Operando inválido."),
+                                            };
+                                            int index = GetOrAddExternalFunction(func.Name, func.ParameterSize);
+                                            rightAssembler.EmitExternCall(index);
+                                            rightAssembler.EmitLoadLocalPtr(rightTempVar.Offset);
+
+                                            tempVar = context.AcquireTemporaryVariable(StringType.STRING, expression.Interval);
+                                            assembler.EmitLoadLocalHostAddress(tempVar.Offset);
+
+                                            assembler.Emit(beforeLeftAssembler);
+                                            assembler.Emit(leftAssembler);
+                                            assembler.Emit(beforeRightAssembler);
+                                            assembler.Emit(rightAssembler);
+
+                                            func = unitySystem.FindFunction("ConcatenaTextos2");
+                                            index = GetOrAddExternalFunction(func.Name, func.ParameterSize);
+                                            assembler.EmitExternCall(index);
+
+                                            leftCastTempVar?.Release();
+                                            rightTempVar?.Release();
+
+                                            assembler.EmitLoadLocalPtr(tempVar.Offset);
+
+                                            result = StringType.STRING;
+                                        }
+                                        else
+                                        {
+                                            if (!PrimitiveType.IsPrimitiveInteger(rp))
+                                                throw new CompilerException(rightOperand.Interval, $"Adição de ponteiros inválida com deslocamento do tipo '{rp}'.");
 
-                                        assembler.Emit(leftAssembler);
-                                        assembler.Emit(rightAssembler);
-                                        assembler.EmitLoadConst(ptr.Type.Size);
-                                        assembler.EmitMul();
+                                            assembler.Emit(leftAssembler);
+                                            assembler.Emit(rightAssembler);
+                                            assembler.EmitLoadConst(ptr.Type.Size);
+                                            assembler.EmitMul();
 
-                                        if (rp.Primitive == Primitive.INT)
-                                            assembler.EmitPtrAdd();
-                                        else
-                                            assembler.EmitPtrAdd64();
+                                            if (rp.Primitive == Primitive.INT)
+                                                assembler.EmitPtrAdd();
+                                            else
+                                                assembler.EmitPtrAdd64();
+
+                                            result = leftType;
+                                        }
 
-                                        result = leftType;
                                         break;
+                                    }
 
                                     case PointerType rptr:
                                     {
diff --git a/Comp/Expression.cs b/Comp/Expression.cs
index cb4ef2c..3ea0b4d 100644
--- a/Comp/Expression.cs
+++ b/Comp/Expression.cs
@@ -1,21 +1,15 @@
-using System;
+using Comp.Types;
+using System;
 using System.Collections.Generic;
 
-using Comp.Types;
-
 namespace Comp;
 
-public abstract class Expression
+public abstract class Expression(SourceInterval interval)
 {
     public SourceInterval Interval
     {
         get;
-    }
-
-    protected Expression(SourceInterval interval)
-    {
-        Interval = interval;
-    }
+    } = interval;
 }
 
 public enum UnaryOperation
@@ -220,18 +214,14 @@ public enum PrimaryType
     IDENTIFIER, // x
 }
 
-public abstract class PrimaryExpression : Expression
+public abstract class PrimaryExpression(SourceInterval interval, PrimaryType primaryType) : Expression(interval)
 {
     public PrimaryType PrimaryType
     {
         get;
-    }
+    } = primaryType;
 
     public AbstractType Type => GetType();
-    protected PrimaryExpression(SourceInterval interval, PrimaryType primaryType) : base(interval)
-    {
-        PrimaryType = primaryType;
-    }
 
 #pragma warning disable CS0108 // O membro oculta o membro herdado; nova palavra-chave ausente
     protected abstract AbstractType GetType();
diff --git a/Comp/Function.cs b/Comp/Function.cs
index 5568d0e..10f51d5 100644
--- a/Comp/Function.cs
+++ b/Comp/Function.cs
@@ -1,9 +1,7 @@
-using System;
-using System.Collections.Generic;
-
-using Asm;
-
+using Asm;
 using Comp.Types;
+using System;
+using System.Collections.Generic;
 
 namespace Comp;
 
@@ -12,6 +10,8 @@ public class Function : IMember
     private readonly List<Parameter> parameters;
     private AbstractType returnType;
 
+    private List<TypeEntry> types;
+
     public CompilationUnity Unity
     {
         get;
@@ -107,6 +107,41 @@ internal Function(CompilationUnity unity, FieldAggregationType declaringType, st
         ParameterSize = 0;
         LocalVariableOffset = 0;
         ReturnOffset = -2 * sizeof(int);
+
+        types = [];
+    }
+
+    internal int AcquireFreeOffset(AbstractType type, int fromOffset = 0, bool tempVar = false)
+    {
+        int offset = 0;
+        foreach (var entry in types)
+        {
+            if (!entry.acquired && entry.tempVar == tempVar && entry.offset >= fromOffset && ReferenceEquals(entry.type, type))
+            {
+                entry.acquired = true;
+                return entry.offset;
+            }
+
+            offset += Compiler.GetAlignedSize(entry.type.Size);
+        }
+
+        types.Add(new TypeEntry(offset, type, true, tempVar));
+        LocalVariableOffset = offset + Compiler.GetAlignedSize(type.Size);
+        return offset;
+    }
+
+    internal bool ReleaseOffset(int offset)
+    {
+        foreach (var entry in types)
+        {
+            if (entry.acquired && entry.offset == offset)
+            {
+                entry.acquired = false;
+                return true;
+            }
+        }
+
+        return false;
     }
 
     internal void CreateEntryLabel()
@@ -204,10 +239,4 @@ internal void Resolve()
         if (!PrimitiveType.IsPrimitiveVoid(returnType))
             ReturnOffset -= Compiler.GetAlignedSize(returnType.Size);
     }
-
-    internal void CheckLocalVariableOffset(int offset)
-    {
-        if (offset > LocalVariableOffset)
-            LocalVariableOffset = offset;
-    }
-}
+}
\ No newline at end of file
diff --git a/Comp/Lex/Literal.cs b/Comp/Lex/Literal.cs
index 66d67b4..c7b6439 100644
--- a/Comp/Lex/Literal.cs
+++ b/Comp/Lex/Literal.cs
@@ -1,8 +1,5 @@
 namespace Comp.Lex;
 
-public abstract class Literal : Token
+public abstract class Literal(SourceInterval interval) : Token(interval)
 {
-    protected Literal(SourceInterval interval) : base(interval)
-    {
-    }
 }
diff --git a/Comp/Lex/NumericLiteral.cs b/Comp/Lex/NumericLiteral.cs
index 38b8621..7abb73e 100644
--- a/Comp/Lex/NumericLiteral.cs
+++ b/Comp/Lex/NumericLiteral.cs
@@ -1,11 +1,7 @@
 namespace Comp.Lex;
 
-public abstract class NumericLiteral : Literal
+public abstract class NumericLiteral(SourceInterval interval) : Literal(interval)
 {
-    protected NumericLiteral(SourceInterval interval) : base(interval)
-    {
-    }
-
     public abstract byte AsByte();
 
     public abstract short AsShort();
diff --git a/Comp/Lex/Token.cs b/Comp/Lex/Token.cs
index ce13a32..e8388e8 100644
--- a/Comp/Lex/Token.cs
+++ b/Comp/Lex/Token.cs
@@ -1,14 +1,9 @@
 namespace Comp.Lex;
 
-public abstract class Token
+public abstract class Token(SourceInterval interval)
 {
     public SourceInterval Interval
     {
         get;
-    }
-
-    protected Token(SourceInterval interval)
-    {
-        Interval = interval;
-    }
+    } = interval;
 }
diff --git a/Comp/LocalVariable.cs b/Comp/LocalVariable.cs
index 4b1ec24..c811f2e 100644
--- a/Comp/LocalVariable.cs
+++ b/Comp/LocalVariable.cs
@@ -22,4 +22,10 @@ internal LocalVariable(Function function, string name, AbstractType type, Source
         Function = function;
         Scope = declaration;
     }
-}
+
+    protected internal override void Release()
+    {
+        base.Release();
+        Function.ReleaseOffset(Offset);
+    }
+}
\ No newline at end of file
diff --git a/Comp/Statement.cs b/Comp/Statement.cs
index a3bd580..5eaf20d 100644
--- a/Comp/Statement.cs
+++ b/Comp/Statement.cs
@@ -1,22 +1,16 @@
-using System.Collections;
+using Comp.Types;
+using System.Collections;
 using System.Collections.Generic;
 
-using Comp.Types;
-
 namespace Comp;
 
-public abstract class Statement
+public abstract class Statement(SourceInterval interval)
 {
     public SourceInterval Interval
     {
         get;
         internal set;
-    }
-
-    protected Statement(SourceInterval interval)
-    {
-        Interval = interval;
-    }
+    } = interval;
 }
 
 public class EmptyStatement : Statement
@@ -26,11 +20,8 @@ internal EmptyStatement(SourceInterval interval) : base(interval)
     }
 }
 
-public abstract class InitializerStatement : Statement
+public abstract class InitializerStatement(SourceInterval interval) : Statement(interval)
 {
-    protected InitializerStatement(SourceInterval interval) : base(interval)
-    {
-    }
 }
 
 public class DeclarationStatement : InitializerStatement, IEnumerable<(string, Expression)>
diff --git a/Comp/Types/AbstractType.cs b/Comp/Types/AbstractType.cs
index aa90908..b70e15f 100644
--- a/Comp/Types/AbstractType.cs
+++ b/Comp/Types/AbstractType.cs
@@ -1,6 +1,5 @@
-using System;
-
-using Asm;
+using Asm;
+using System;
 
 namespace Comp.Types;
 
diff --git a/Comp/Types/ArrayType.cs b/Comp/Types/ArrayType.cs
index b35a268..95d2987 100644
--- a/Comp/Types/ArrayType.cs
+++ b/Comp/Types/ArrayType.cs
@@ -1,6 +1,5 @@
-using System.Collections.Generic;
-
-using Asm;
+using Asm;
+using System.Collections.Generic;
 
 namespace Comp.Types;
 
diff --git a/Comp/Types/ClassType.cs b/Comp/Types/ClassType.cs
index 9c288b5..46ef334 100644
--- a/Comp/Types/ClassType.cs
+++ b/Comp/Types/ClassType.cs
@@ -1,6 +1,5 @@
-using System.Collections.Generic;
-
-using Asm;
+using Asm;
+using System.Collections.Generic;
 
 namespace Comp.Types;
 
diff --git a/Comp/Types/NamedType.cs b/Comp/Types/NamedType.cs
index bc9163a..ca5636d 100644
--- a/Comp/Types/NamedType.cs
+++ b/Comp/Types/NamedType.cs
@@ -1,26 +1,19 @@
 namespace Comp.Types;
 
-public abstract class NamedType : AbstractType
+public abstract class NamedType(CompilationUnity unity, string name, SourceInterval interval) : AbstractType
 {
     public CompilationUnity Unity
     {
         get;
-    }
+    } = unity;
 
     public string Name
     {
         get;
-    }
+    } = name;
 
     public SourceInterval Interval
     {
         get;
-    }
-
-    protected NamedType(CompilationUnity unity, string name, SourceInterval interval)
-    {
-        Unity = unity;
-        Name = name;
-        Interval = interval;
-    }
+    } = interval;
 }
diff --git a/Comp/Types/PointerType.cs b/Comp/Types/PointerType.cs
index b689ec7..a51f6a6 100644
--- a/Comp/Types/PointerType.cs
+++ b/Comp/Types/PointerType.cs
@@ -1,8 +1,7 @@
-using System;
+using Asm;
+using System;
 using System.Collections.Generic;
 
-using Asm;
-
 namespace Comp.Types;
 
 public class PointerType : AbstractType
diff --git a/Comp/Types/PrimitiveType.cs b/Comp/Types/PrimitiveType.cs
index 2392213..7a88019 100644
--- a/Comp/Types/PrimitiveType.cs
+++ b/Comp/Types/PrimitiveType.cs
@@ -1,6 +1,5 @@
-using System;
-
-using Asm;
+using Asm;
+using System;
 
 namespace Comp.Types;
 
diff --git a/Comp/Types/StringType.cs b/Comp/Types/StringType.cs
index 591d820..c7b4cfc 100644
--- a/Comp/Types/StringType.cs
+++ b/Comp/Types/StringType.cs
@@ -1,6 +1,5 @@
-using System;
-
-using Asm;
+using Asm;
+using System;
 
 namespace Comp.Types;
 
diff --git a/Comp/Types/TypeEntry.cs b/Comp/Types/TypeEntry.cs
new file mode 100644
index 0000000..aad645d
--- /dev/null
+++ b/Comp/Types/TypeEntry.cs
@@ -0,0 +1,17 @@
+namespace Comp.Types;
+
+internal class TypeEntry
+{
+    public int offset;
+    public AbstractType type;
+    public bool acquired;
+    public bool tempVar;
+
+    internal TypeEntry(int offset, AbstractType type, bool acquired, bool tempVar)
+    {
+        this.offset = offset;
+        this.type = type;
+        this.acquired = acquired;
+        this.tempVar = tempVar;
+    }
+}
\ No newline at end of file
diff --git a/Comp/Variable.cs b/Comp/Variable.cs
index 7e4ccbb..6a3b579 100644
--- a/Comp/Variable.cs
+++ b/Comp/Variable.cs
@@ -2,26 +2,26 @@
 
 namespace Comp;
 
-public abstract class Variable
+public abstract class Variable(string name, AbstractType type, SourceInterval interval, int offset = -1)
 {
-    private AbstractType type;
+    private AbstractType type = type;
 
     public string Name
     {
         get;
-    }
+    } = name;
 
     public AbstractType Type => type;
 
     public SourceInterval Interval
     {
         get;
-    }
+    } = interval;
 
     public int Offset
     {
         get; internal set;
-    }
+    } = offset;
 
     public bool Temporary
     {
@@ -33,14 +33,6 @@ public bool Acquired
         get; internal set;
     }
 
-    protected Variable(string name, AbstractType type, SourceInterval interval, int offset = -1)
-    {
-        Name = name;
-        this.type = type;
-        Interval = interval;
-        Offset = offset;
-    }
-
     public override string ToString()
     {
         return $"{Name}:{type} ({Offset})";
@@ -51,8 +43,8 @@ internal void Resolve()
         AbstractType.Resolve(ref type);
     }
 
-    internal void Release()
+    protected internal virtual void Release()
     {
         Acquired = false;
     }
-}
+}
\ No newline at end of file
diff --git a/Examples/ExercicioMatheus.sl b/Examples/ExercicioMatheus.sl
new file mode 100644
index 0000000..a89c78a
--- /dev/null
+++ b/Examples/ExercicioMatheus.sl
@@ -0,0 +1,28 @@
+programa ExercicioMatheus;
+
+{
+	var vetor:int[5];
+	vetor[0] = 69;
+	vetor[1] = 171;
+	vetor[2] = -3;
+	vetor[3] = 3949;
+	vetor[4] = 789;
+	
+	var n:int;
+	var posicao:int = -1;
+	
+	escrevaln "Digite um número, animal velho: ";
+	leia n;	
+	
+	para (var i:int = 0; i < 5 && posicao < 0; i++)
+	{
+		var entrada:int = vetor[i];
+		se (n == entrada)
+			posicao = i;
+	}
+	
+	se (posicao >= 0)
+		escrevaln "ACHEI PORRA! ESTÁ NA POSIÇÃO " + posicao;
+	senão
+		escrevaln "NUNCA NEM VI";
+}
\ No newline at end of file
diff --git a/Examples/ExercicioMatheus2.sl b/Examples/ExercicioMatheus2.sl
new file mode 100644
index 0000000..35b3c98
--- /dev/null
+++ b/Examples/ExercicioMatheus2.sl
@@ -0,0 +1,49 @@
+programa ExercicioMatheus2;
+
+{
+	var vetor:int[40];
+	var valor:int;
+	
+	para (var i:int = 1; i <= 40; i++)
+	{
+		valor = (i + 1) / 2;
+		
+		se (i > 1)
+			escreva ", ";
+		
+		vetor[i] = valor;
+		escreva valor;
+	}
+	
+	escrevaln;
+	
+	para (var i:int = 0; i < 40; i++)
+	{
+		se (i == 0)
+			valor = 1;
+		senão se (i == 1)
+			valor = 1;
+		senão
+			valor = vetor[i - 1] + vetor[i - 2] ;
+		
+		vetor[i] = valor;
+		
+		se (i > 0)
+			escreva ", ";
+		
+		escreva valor;
+	}
+	
+	escrevaln;
+	
+	para (var i:int = 0; i < 40; i++)
+	{
+		valor = 2 * i;
+		vetor[i] = valor;
+		
+		se (i > 0)
+			escreva ", ";
+		
+		escreva valor;
+	}
+}
\ No newline at end of file
diff --git a/Examples/ExercicioMatheus3.sl b/Examples/ExercicioMatheus3.sl
new file mode 100644
index 0000000..c663c71
--- /dev/null
+++ b/Examples/ExercicioMatheus3.sl
@@ -0,0 +1,35 @@
+programa ExercicioMatheus3;
+
+{
+	var x:int;
+	var y: int;
+	
+	escreva "Digite o primeiro número: ";
+	leia x;
+	escrevaln;
+	
+	escreva "Digite o segundo número: ";
+	leia y;
+	escrevaln;
+	
+	se (x > y)
+	{
+		var temp:int;
+		temp = x;
+		x = y;
+		y = temp;
+	}
+	
+	escrevaln "x=" + x;
+	escrevaln "y=" + y;
+	
+	se ((x % 2) == 0)
+		escrevaln "x é par";
+	senão
+		escrevaln "x é ímpar";
+	
+	se ((y % 2) == 0)
+		escrevaln "y é par";
+	senão
+		escrevaln "y é ímpar";
+}
\ No newline at end of file
diff --git a/Examples/ExercidioDoRevista.sl b/Examples/ExercidioDoRevista.sl
new file mode 100644
index 0000000..1fcdc35
--- /dev/null
+++ b/Examples/ExercidioDoRevista.sl
@@ -0,0 +1,22 @@
+programa ExercidioDoRevista;
+
+{
+	var numero:int;
+	var soma:int = 0;
+	var quantidade:int = 0;
+	
+	enquanto (verdade)
+	{
+		escreva "Digite um número:\n ";
+		leia numero;
+		
+		se (numero == 999)
+			quebra;
+
+		soma += numero;
+		quantidade++;
+	}
+	
+	escrevaln "Foram lidos " + quantidade + " números";
+	escrevaln "A soma total foi " + soma;
+}
\ No newline at end of file
diff --git a/GUI/BreakPointMargin.cs b/GUI/BreakPointMargin.cs
index 22e57bf..70f356c 100644
--- a/GUI/BreakPointMargin.cs
+++ b/GUI/BreakPointMargin.cs
@@ -1,11 +1,9 @@
-using System;
+using ICSharpCode.AvalonEdit.Editing;
+using ICSharpCode.AvalonEdit.Rendering;
+using System;
 using System.Collections.Generic;
 using System.Windows;
 using System.Windows.Media;
-
-using ICSharpCode.AvalonEdit.Editing;
-using ICSharpCode.AvalonEdit.Rendering;
-
 using VM;
 
 namespace SimpleCompiler.GUI;
diff --git a/GUI/ErrorRenderer.cs b/GUI/ErrorRenderer.cs
index 19da2d1..b665aef 100644
--- a/GUI/ErrorRenderer.cs
+++ b/GUI/ErrorRenderer.cs
@@ -1,8 +1,7 @@
-using System.Windows;
+using ICSharpCode.AvalonEdit.Rendering;
+using System.Windows;
 using System.Windows.Media;
 
-using ICSharpCode.AvalonEdit.Rendering;
-
 namespace SimpleCompiler.GUI;
 
 internal class ErrorRenderer(TextView view, bool enabled = false, int start = -1, int end = -1) : IBackgroundRenderer
diff --git a/GUI/FrmSimpleCompiler.Designer.cs b/GUI/FrmSimpleCompiler.Designer.cs
index 4922210..0db7249 100644
--- a/GUI/FrmSimpleCompiler.Designer.cs
+++ b/GUI/FrmSimpleCompiler.Designer.cs
@@ -46,6 +46,8 @@ private void InitializeComponent()
             this.columnName = new System.Windows.Forms.DataGridViewTextBoxColumn();
             this.columnValue = new System.Windows.Forms.DataGridViewButtonColumn();
             this.columnType = new System.Windows.Forms.DataGridViewTextBoxColumn();
+            this.columnRA = new System.Windows.Forms.DataGridViewTextBoxColumn();
+            this.columnHA = new System.Windows.Forms.DataGridViewTextBoxColumn();
             this.tpMemory = new System.Windows.Forms.TabPage();
             this.splitContainerData = new System.Windows.Forms.SplitContainer();
             this.gbStack = new System.Windows.Forms.GroupBox();
@@ -313,7 +315,9 @@ private void InitializeComponent()
             this.dgvVariables.Columns.AddRange(new System.Windows.Forms.DataGridViewColumn[] {
             this.columnName,
             this.columnValue,
-            this.columnType});
+            this.columnType,
+            this.columnRA,
+            this.columnHA});
             this.dgvVariables.Dock = System.Windows.Forms.DockStyle.Fill;
             this.dgvVariables.Location = new System.Drawing.Point(3, 3);
             this.dgvVariables.Name = "dgvVariables";
@@ -347,6 +351,18 @@ private void InitializeComponent()
             this.columnType.ReadOnly = true;
             this.columnType.Width = 53;
             // 
+            // columnRA
+            // 
+            this.columnRA.HeaderText = "RA";
+            this.columnRA.Name = "columnRA";
+            this.columnRA.ReadOnly = true;
+            // 
+            // columnHA
+            // 
+            this.columnHA.HeaderText = "HA";
+            this.columnHA.Name = "columnHA";
+            this.columnHA.ReadOnly = true;
+            // 
             // tpMemory
             // 
             this.tpMemory.Controls.Add(this.splitContainerData);
@@ -729,7 +745,7 @@ private void InitializeComponent()
             this.btnStepInto.Name = "btnStepInto";
             this.btnStepInto.Size = new System.Drawing.Size(24, 24);
             this.btnStepInto.Text = "Entrar na Função";
-            this.btnStepInto.ToolTipText = "Entrar na Função";
+            this.btnStepInto.ToolTipText = "Intervir";
             this.btnStepInto.Click += new System.EventHandler(this.BtnStepInto_Click);
             // 
             // btnStepOut
@@ -992,7 +1008,8 @@ private void InitializeComponent()
             this.mnuRun.Image = global::SimpleCompiler.Properties.Resources.run;
             this.mnuRun.ImageTransparentColor = System.Drawing.Color.Magenta;
             this.mnuRun.Name = "mnuRun";
-            this.mnuRun.Size = new System.Drawing.Size(186, 22);
+            this.mnuRun.ShortcutKeys = System.Windows.Forms.Keys.F5;
+            this.mnuRun.Size = new System.Drawing.Size(238, 22);
             this.mnuRun.Text = "Executar";
             this.mnuRun.Click += new System.EventHandler(this.MnuRun_Click);
             // 
@@ -1002,7 +1019,9 @@ private void InitializeComponent()
             this.mnuPause.Image = global::SimpleCompiler.Properties.Resources.pause;
             this.mnuPause.ImageTransparentColor = System.Drawing.Color.Magenta;
             this.mnuPause.Name = "mnuPause";
-            this.mnuPause.Size = new System.Drawing.Size(186, 22);
+            this.mnuPause.ShortcutKeys = ((System.Windows.Forms.Keys)(((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.Alt) 
+            | System.Windows.Forms.Keys.Pause)));
+            this.mnuPause.Size = new System.Drawing.Size(238, 22);
             this.mnuPause.Text = "Pausar";
             this.mnuPause.Click += new System.EventHandler(this.MnuPause_Click);
             // 
@@ -1012,7 +1031,8 @@ private void InitializeComponent()
             this.mnuStop.Image = global::SimpleCompiler.Properties.Resources.stop;
             this.mnuStop.ImageTransparentColor = System.Drawing.Color.Fuchsia;
             this.mnuStop.Name = "mnuStop";
-            this.mnuStop.Size = new System.Drawing.Size(186, 22);
+            this.mnuStop.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Shift | System.Windows.Forms.Keys.F5)));
+            this.mnuStop.Size = new System.Drawing.Size(238, 22);
             this.mnuStop.Text = "Parar";
             this.mnuStop.Click += new System.EventHandler(this.MnuStop_Click);
             // 
@@ -1021,7 +1041,8 @@ private void InitializeComponent()
             this.mnuStepOver.Enabled = false;
             this.mnuStepOver.Image = global::SimpleCompiler.Properties.Resources.StepOver_6328;
             this.mnuStepOver.Name = "mnuStepOver";
-            this.mnuStepOver.Size = new System.Drawing.Size(186, 22);
+            this.mnuStepOver.ShortcutKeys = System.Windows.Forms.Keys.F10;
+            this.mnuStepOver.Size = new System.Drawing.Size(238, 22);
             this.mnuStepOver.Text = "Pular Função";
             this.mnuStepOver.Click += new System.EventHandler(this.MnuStepOver_Click);
             // 
@@ -1031,8 +1052,9 @@ private void InitializeComponent()
             this.mnuStepInto.Image = global::SimpleCompiler.Properties.Resources.StepIn_6326;
             this.mnuStepInto.ImageTransparentColor = System.Drawing.Color.Transparent;
             this.mnuStepInto.Name = "mnuStepInto";
-            this.mnuStepInto.Size = new System.Drawing.Size(186, 22);
-            this.mnuStepInto.Text = "Entrar na Função";
+            this.mnuStepInto.ShortcutKeys = System.Windows.Forms.Keys.F11;
+            this.mnuStepInto.Size = new System.Drawing.Size(238, 22);
+            this.mnuStepInto.Text = "Intervir";
             this.mnuStepInto.Click += new System.EventHandler(this.MnuStepInto_Click);
             // 
             // mnuStepOut
@@ -1041,7 +1063,8 @@ private void InitializeComponent()
             this.mnuStepOut.Image = global::SimpleCompiler.Properties.Resources.Stepout_6327;
             this.mnuStepOut.ImageTransparentColor = System.Drawing.Color.Transparent;
             this.mnuStepOut.Name = "mnuStepOut";
-            this.mnuStepOut.Size = new System.Drawing.Size(186, 22);
+            this.mnuStepOut.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Shift | System.Windows.Forms.Keys.F11)));
+            this.mnuStepOut.Size = new System.Drawing.Size(238, 22);
             this.mnuStepOut.Text = "Sair da Função";
             this.mnuStepOut.Click += new System.EventHandler(this.MnuStepOut_Click);
             // 
@@ -1051,7 +1074,8 @@ private void InitializeComponent()
             this.mnuRunToCursor.Image = global::SimpleCompiler.Properties.Resources.run_to_cursor;
             this.mnuRunToCursor.ImageTransparentColor = System.Drawing.Color.Magenta;
             this.mnuRunToCursor.Name = "mnuRunToCursor";
-            this.mnuRunToCursor.Size = new System.Drawing.Size(186, 22);
+            this.mnuRunToCursor.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.F11)));
+            this.mnuRunToCursor.Size = new System.Drawing.Size(238, 22);
             this.mnuRunToCursor.Text = "Executar até o Cursor";
             this.mnuRunToCursor.Click += new System.EventHandler(this.MnuRunToCursor_Click);
             // 
@@ -1060,7 +1084,8 @@ private void InitializeComponent()
             this.mnuToggleBreakpoint.Image = global::SimpleCompiler.Properties.Resources.BreakpointEnabled_6584_32x;
             this.mnuToggleBreakpoint.ImageTransparentColor = System.Drawing.Color.Transparent;
             this.mnuToggleBreakpoint.Name = "mnuToggleBreakpoint";
-            this.mnuToggleBreakpoint.Size = new System.Drawing.Size(186, 22);
+            this.mnuToggleBreakpoint.ShortcutKeys = System.Windows.Forms.Keys.F9;
+            this.mnuToggleBreakpoint.Size = new System.Drawing.Size(238, 22);
             this.mnuToggleBreakpoint.Text = "Alternar Breakpoint";
             this.mnuToggleBreakpoint.Click += new System.EventHandler(this.MnuToggleBreakpoint_Click);
             // 
@@ -1075,7 +1100,7 @@ private void InitializeComponent()
             // mnuAbout
             // 
             this.mnuAbout.Name = "mnuAbout";
-            this.mnuAbout.Size = new System.Drawing.Size(180, 22);
+            this.mnuAbout.Size = new System.Drawing.Size(113, 22);
             this.mnuAbout.Text = "Sobre...";
             this.mnuAbout.Click += new System.EventHandler(this.MnuAbout_Click);
             // 
@@ -1169,9 +1194,6 @@ private void InitializeComponent()
     private System.Windows.Forms.ImageList imageList;
     private System.ComponentModel.BackgroundWorker bwCompiler;
     private System.Windows.Forms.Integration.ElementHost wpfAssemblyHost;
-    private System.Windows.Forms.DataGridViewTextBoxColumn columnName;
-    private System.Windows.Forms.DataGridViewButtonColumn columnValue;
-    private System.Windows.Forms.DataGridViewTextBoxColumn columnType;
     private System.Windows.Forms.SplitContainer scBottom;
     private System.Windows.Forms.DataGridView dgvStack;
     private System.Windows.Forms.ContextMenuStrip mnuStackView;
@@ -1229,5 +1251,10 @@ private void InitializeComponent()
     private System.Windows.Forms.ToolStripMenuItem mnuEditSelectAll;
     private System.Windows.Forms.ContextMenuStrip mnuConsole;
     private System.Windows.Forms.ToolStripMenuItem mnuConsoleClear;
+    private System.Windows.Forms.DataGridViewTextBoxColumn columnName;
+    private System.Windows.Forms.DataGridViewButtonColumn columnValue;
+    private System.Windows.Forms.DataGridViewTextBoxColumn columnType;
+    private System.Windows.Forms.DataGridViewTextBoxColumn columnRA;
+    private System.Windows.Forms.DataGridViewTextBoxColumn columnHA;
 }
 
diff --git a/GUI/FrmSimpleCompiler.cs b/GUI/FrmSimpleCompiler.cs
index 11cf5e6..e7df409 100644
--- a/GUI/FrmSimpleCompiler.cs
+++ b/GUI/FrmSimpleCompiler.cs
@@ -1,4 +1,8 @@
-using System;
+using Asm;
+using Comp;
+using ICSharpCode.AvalonEdit;
+using ICSharpCode.AvalonEdit.Highlighting;
+using System;
 using System.Collections.Generic;
 using System.ComponentModel;
 using System.Configuration;
@@ -10,20 +14,14 @@
 using System.Runtime.InteropServices;
 using System.Text.RegularExpressions;
 using System.Threading;
+using System.Threading.Tasks;
 using System.Windows.Forms;
+using System.Windows.Input;
 using System.Windows.Media;
 using System.Xml;
-
-using Asm;
-
-using Comp;
-
-using ICSharpCode.AvalonEdit;
-using ICSharpCode.AvalonEdit.Highlighting;
-
 using VM;
-
 using MessageBox = System.Windows.Forms.MessageBox;
+using MouseEventArgs = System.Windows.Forms.MouseEventArgs;
 
 namespace SimpleCompiler.GUI;
 
@@ -33,6 +31,21 @@ public partial class FrmSimpleCompiler : Form
     private static extern IntPtr SendMessage(IntPtr hWnd, int msg, IntPtr wp, IntPtr lp);
     private const int TCM_SETMINTABWIDTH = 0x1300 + 49;
 
+    public const double DEFAULT_FONT_SIZE = 14;
+    public const double MIN_FONT_SIZE = 6;
+    public const double MAX_FONT_SIZE = 200;
+
+    public static double ComputeZoom(double fontSize)
+    {
+        return fontSize / DEFAULT_FONT_SIZE;
+    }
+
+    public static double ComputeFontSize(double zoom)
+    {
+        double fontSize = zoom * DEFAULT_FONT_SIZE;
+        return fontSize < MIN_FONT_SIZE ? MIN_FONT_SIZE : fontSize > MAX_FONT_SIZE ? MAX_FONT_SIZE : fontSize;
+    }
+
     private delegate void ParsingDelegate(int lineNumber);
 
     private string sourceFile = null;
@@ -75,11 +88,24 @@ public partial class FrmSimpleCompiler : Form
     private readonly Image addImage;
     private readonly Image closeImage;
 
+    public double AssemblyZoom
+    {
+        get => ComputeZoom(txtAssembly.FontSize);
+        set => txtAssembly.FontSize = ComputeFontSize(value);
+    }
+
+    public string ConsoleText
+    {
+        get => txtConsole.Text == "\0" ? "" : txtConsole.Text;
+        set => txtConsole.Text = value == "" ? "\0" : value;
+    }
+
     public FrmSimpleCompiler()
     {
         InitializeComponent();
 
-        compiler = new Comp.Compiler("examples");
+        compiler = new Compiler("examples");
+        compiler.OnInternalError += OnInternalError;
         compiler.OnCompileError += OnCompileError;
 
         assembler = new Assembler();
@@ -123,6 +149,7 @@ public FrmSimpleCompiler()
         txtAssembly.Background = new SolidColorBrush((System.Windows.Media.Color) System.Windows.Media.ColorConverter.ConvertFromString("#1E1E1E"));
         txtAssembly.IsReadOnly = true;
         txtAssembly.Focusable = true;
+        txtAssembly.PreviewMouseWheel += TxtAssembly_PreviewMouseWheel;
 
         lineBackgroundRenderer = new SteppingRenderer(txtAssembly.TextArea.TextView);
         txtAssembly.TextArea.TextView.BackgroundRenderers.Add(lineBackgroundRenderer);
@@ -139,6 +166,15 @@ public FrmSimpleCompiler()
         tcSources.HandleCreated += TcSources_HandleCreated;
     }
 
+    private void OnInternalError(Exception e)
+    {
+        BeginInvoke((MethodInvoker) delegate
+        {
+            ConsolePrintLn($"Erro interno: {e.Message}.");
+            ConsolePrintLn(e.StackTrace);
+        });
+    }
+
     private void OnCompileError(SourceInterval interval, string message)
     {
         BeginInvoke((MethodInvoker) delegate
@@ -217,7 +253,7 @@ private string ConsoleRead()
 
                 BeginInvoke((MethodInvoker) delegate
                 {
-                    inputPos = txtConsole.Text.Length;
+                    inputPos = ConsoleText.Length;
                     consoleForeColor = txtConsole.ForeColor;
                     consoleBackColor = txtConsole.BackColor;
                     txtConsole.ForeColor = System.Drawing.Color.White;
@@ -267,8 +303,15 @@ private void ConsolePrint(string message)
         {
             lock (inputLock)
             {
-                txtConsole.Text += message;
-                txtConsole.SelectionStart = txtConsole.Text.Length;
+                if (message != "")
+                {
+                    if (txtConsole.Text == "\0")
+                        txtConsole.Text = message;
+                    else
+                        txtConsole.Text += message;
+                }
+
+                txtConsole.SelectionStart = ConsoleText.Length;
                 txtConsole.SelectionLength = 0;
             }
         }
@@ -483,6 +526,8 @@ private void FetchStackViewRow(int row)
 
         if (vm.BP == firstAddr)
             residentAddress += "[BP]";
+        else
+            residentAddress += "[BP" + (firstAddr < vm.BP ? "-" : "+") + Math.Abs(firstAddr - vm.BP).ToString("x2") + "]";
 
         if (vm.SP == firstAddr)
         {
@@ -565,7 +610,24 @@ private void FetchVariables()
         vm.FetchDeclaredVariablesAtLine(fileName, lineNumber, variables);
 
         foreach (var variable in variables)
-            dgvVariables.Rows.Add(variable.Name, ToString(vm.GetVariableValue(variable)), variable.Type.ToString());
+        {
+            int ra;
+            string comment;
+            if (variable is GlobalVariable global)
+            {
+                ra = global.Unity.GlobalStartOffset + global.Offset;
+                comment = null;
+            }
+            else
+            {
+                ra = vm.BP + variable.Offset;
+                comment = variable.Offset == 0 ? "BP" : "BP" + (variable.Offset > 0 ? "+" : "-") + Math.Abs(variable.Offset).ToString("x2");
+            }
+
+            string residentAddress = ra.ToString("x8") + (comment != null ? " (" + comment + ")" : "");
+            string hostAddress = vm.ResidentToHostAddr(vm.BP + variable.Offset).ToString("x8");
+            dgvVariables.Rows.Add(variable.Name, ToString(vm.GetVariableValue(variable)), variable.Type.ToString(), residentAddress, hostAddress);
+        }
 
         dgvVariables.ResumeLayout();
     }
@@ -783,7 +845,7 @@ private void BtnCompile_Click(object sender, EventArgs e)
 
     private void MnuConsoleCopy_Click(object sender, EventArgs e)
     {
-        System.Windows.Clipboard.SetText(txtConsole.Text);
+        System.Windows.Clipboard.SetText(ConsoleText);
     }
 
     private void MnuConsoleSelectAll_Click(object sender, EventArgs e)
@@ -799,7 +861,8 @@ private void TxtConsole_KeyPress(object sender, KeyPressEventArgs e)
             {
                 try
                 {
-                    input = txtConsole.Text.Substring(inputPos, txtConsole.Text.Length - inputPos - 1);
+                    string consoleText = ConsoleText;
+                    input = consoleText.Substring(inputPos, consoleText.Length - inputPos - 1);
                 }
                 catch (ArgumentOutOfRangeException)
                 {
@@ -1321,6 +1384,19 @@ private void FrmSimpleCompiler_Load(object sender, EventArgs e)
         var collection = section.Documents;
         foreach (DocumentConfigElement element in collection)
             NewSourceTab(element.FileName, element.Selected, element.Focused, element.Zoom);
+
+        txtConsole.ZoomFactor = section.ConsoleZoomFactor;
+        AssemblyZoom = section.AssemblyZoomFactor;
+    }
+
+    private void TxtAssembly_PreviewMouseWheel(object sender, MouseWheelEventArgs e)
+    {
+        if (Keyboard.Modifiers == System.Windows.Input.ModifierKeys.Control)
+        {
+            double fontSize = txtAssembly.FontSize + e.Delta / 25.0;
+            AssemblyZoom = FrmSimpleCompiler.ComputeZoom(fontSize);
+            e.Handled = true;
+        }
     }
 
     private void FrmSimpleCompiler_FormClosing(object sender, FormClosingEventArgs e)
@@ -1375,6 +1451,9 @@ private void FrmSimpleCompiler_FormClosing(object sender, FormClosingEventArgs e
             }
         }
 
+        section.ConsoleZoomFactor = txtConsole.ZoomFactor;
+        section.AssemblyZoomFactor = AssemblyZoom;
+
         config.Save();
     }
 
@@ -1798,7 +1877,7 @@ private void MnuEditSelectAll_Click(object sender, EventArgs e)
 
     private void MnuConsoleClear_Click(object sender, EventArgs e)
     {
-        txtConsole.Clear();
+        txtConsole.Text = "\0";
     }
 
     private void MnuAbout_Click(object sender, EventArgs e)
diff --git a/GUI/FrmSimpleCompiler.resx b/GUI/FrmSimpleCompiler.resx
index 4233862..64fd53f 100644
--- a/GUI/FrmSimpleCompiler.resx
+++ b/GUI/FrmSimpleCompiler.resx
@@ -129,13 +129,10 @@
   <metadata name="columnType.UserAddedColumn" type="System.Boolean, mscorlib, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089">
     <value>True</value>
   </metadata>
-  <metadata name="columnName.UserAddedColumn" type="System.Boolean, mscorlib, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089">
+  <metadata name="columnRA.UserAddedColumn" type="System.Boolean, mscorlib, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089">
     <value>True</value>
   </metadata>
-  <metadata name="columnValue.UserAddedColumn" type="System.Boolean, mscorlib, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089">
-    <value>True</value>
-  </metadata>
-  <metadata name="columnType.UserAddedColumn" type="System.Boolean, mscorlib, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089">
+  <metadata name="columnHA.UserAddedColumn" type="System.Boolean, mscorlib, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089">
     <value>True</value>
   </metadata>
   <metadata name="RA.UserAddedColumn" type="System.Boolean, mscorlib, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089">
@@ -322,7 +319,7 @@
         AAEAAAD/////AQAAAAAAAAAMAgAAAFdTeXN0ZW0uV2luZG93cy5Gb3JtcywgVmVyc2lvbj00LjAuMC4w
         LCBDdWx0dXJlPW5ldXRyYWwsIFB1YmxpY0tleVRva2VuPWI3N2E1YzU2MTkzNGUwODkFAQAAACZTeXN0
         ZW0uV2luZG93cy5Gb3Jtcy5JbWFnZUxpc3RTdHJlYW1lcgEAAAAERGF0YQcCAgAAAAkDAAAADwMAAADu
-        CAAAAk1TRnQBSQFMAgEBAgEAAXABAQFwAQEBEAEAARABAAT/AQkBAAj/AUIBTQE2AQQGAAE2AQQCAAEo
+        CAAAAk1TRnQBSQFMAgEBAgEAAZABAQGQAQEBEAEAARABAAT/AQkBAAj/AUIBTQE2AQQGAAE2AQQCAAEo
         AwABQAMAARADAAEBAQABCAYAAQQYAAGAAgABgAMAAoABAAGAAwABgAEAAYABAAKAAgADwAEAAcAB3AHA
         AQAB8AHKAaYBAAEzBQABMwEAATMBAAEzAQACMwIAAxYBAAMcAQADIgEAAykBAANVAQADTQEAA0IBAAM5
         AQABgAF8Af8BAAJQAf8BAAGTAQAB1gEAAf8B7AHMAQABxgHWAe8BAAHWAucBAAGQAakBrQIAAf8BMwMA
diff --git a/GUI/ProgramConfiguratinSection.cs b/GUI/ProgramConfiguratinSection.cs
index b6f82b0..62993b0 100644
--- a/GUI/ProgramConfiguratinSection.cs
+++ b/GUI/ProgramConfiguratinSection.cs
@@ -117,6 +117,7 @@ public bool ViewVariablesChecked
 
         set => this["viewVariablesChecked"] = value;
     }
+
     [ConfigurationProperty("viewMemoryChecked",
         DefaultValue = false,
         IsRequired = false
@@ -128,6 +129,28 @@ public bool ViewMemoryChecked
         set => this["viewMemoryChecked"] = value;
     }
 
+    [ConfigurationProperty("consoleZoomFactor",
+        DefaultValue = 1F,
+        IsRequired = false
+        )]
+    public float ConsoleZoomFactor
+    {
+        get => (float) this["consoleZoomFactor"];
+
+        set => this["consoleZoomFactor"] = value;
+    }
+
+    [ConfigurationProperty("assemblyZoomFactor",
+        DefaultValue = 1.0,
+        IsRequired = false
+        )]
+    public double AssemblyZoomFactor
+    {
+        get => (double) this["assemblyZoomFactor"];
+
+        set => this["assemblyZoomFactor"] = value;
+    }
+
     [ConfigurationProperty("documents", IsDefaultCollection = true)]
     public DocumentCollection Documents => (DocumentCollection) base["documents"];
 }
\ No newline at end of file
diff --git a/GUI/SourceTab.cs b/GUI/SourceTab.cs
index 2ec89ec..5eba3c1 100644
--- a/GUI/SourceTab.cs
+++ b/GUI/SourceTab.cs
@@ -1,4 +1,7 @@
-using System;
+using ICSharpCode.AvalonEdit;
+using ICSharpCode.AvalonEdit.Document;
+using ICSharpCode.AvalonEdit.Highlighting;
+using System;
 using System.Collections.Generic;
 using System.IO;
 using System.Windows.Forms;
@@ -7,29 +10,10 @@
 using System.Windows.Media;
 using System.Windows.Media.Imaging;
 
-using ICSharpCode.AvalonEdit;
-using ICSharpCode.AvalonEdit.Document;
-using ICSharpCode.AvalonEdit.Highlighting;
-
 namespace SimpleCompiler.GUI;
 
 public class SourceTab
 {
-    public const double DEFAULT_FONT_SIZE = 14;
-    public const double MIN_FONT_SIZE = 6;
-    public const double MAX_FONT_SIZE = 200;
-
-    private static double ComputeZoom(double fontSize)
-    {
-        return fontSize / DEFAULT_FONT_SIZE;
-    }
-
-    private static double ComputeFontSize(double zoom)
-    {
-        double fontSize = zoom * DEFAULT_FONT_SIZE;
-        return fontSize < MIN_FONT_SIZE ? MIN_FONT_SIZE : fontSize > MAX_FONT_SIZE ? MAX_FONT_SIZE : fontSize;
-    }
-
     private FrmSimpleCompiler form;
     internal TabPage page;
     internal string m_SourceCode;
@@ -50,8 +34,8 @@ private static double ComputeFontSize(double zoom)
 
     public double Zoom
     {
-        get => ComputeZoom(txtSource.FontSize);
-        set => txtSource.FontSize = ComputeFontSize(value);
+        get => FrmSimpleCompiler.ComputeZoom(txtSource.FontSize);
+        set => txtSource.FontSize = FrmSimpleCompiler.ComputeFontSize(value);
     }
 
     public SourceTab(FrmSimpleCompiler form, double zoom = 1)
@@ -93,7 +77,7 @@ private void Initialize(FrmSimpleCompiler form, double zoom = 1)
         txtSource.ShowLineNumbers = true;
         txtSource.TextArea.IndentationStrategy = new ICSharpCode.AvalonEdit.Indentation.CSharp.CSharpIndentationStrategy(txtSource.Options);
         txtSource.SyntaxHighlighting = HighlightingManager.Instance.GetDefinitionByExtension(".sl");
-        txtSource.FontSize = ComputeFontSize(zoom);
+        txtSource.FontSize = FrmSimpleCompiler.ComputeFontSize(zoom);
         txtSource.Foreground = new SolidColorBrush((Color) ColorConverter.ConvertFromString("#DCDCDC"));
         txtSource.Background = new SolidColorBrush((Color) ColorConverter.ConvertFromString("#1E1E1E"));
         txtSource.PreviewMouseWheel += TxtSource_PreviewMouseWheel;
@@ -109,12 +93,12 @@ private void Initialize(FrmSimpleCompiler form, double zoom = 1)
         txtSource.TextArea.LeftMargins.Insert(0, breakpointMargin);
     }
 
-    private void TxtSource_PreviewMouseWheel(object sender, System.Windows.Input.MouseWheelEventArgs e)
+    private void TxtSource_PreviewMouseWheel(object sender, MouseWheelEventArgs e)
     {
         if (Keyboard.Modifiers == ModifierKeys.Control)
         {
             double fontSize = txtSource.FontSize + e.Delta / 25.0;
-            Zoom = ComputeZoom(fontSize);
+            Zoom = FrmSimpleCompiler.ComputeZoom(fontSize);
             e.Handled = true;
         }
     }
diff --git a/GUI/SteppingRenderer.cs b/GUI/SteppingRenderer.cs
index 83f2bb2..bc0a8e5 100644
--- a/GUI/SteppingRenderer.cs
+++ b/GUI/SteppingRenderer.cs
@@ -1,9 +1,8 @@
-using System.Linq;
+using ICSharpCode.AvalonEdit.Rendering;
+using System.Linq;
 using System.Windows;
 using System.Windows.Media;
 
-using ICSharpCode.AvalonEdit.Rendering;
-
 namespace SimpleCompiler.GUI;
 
 internal class SteppingRenderer(TextView view, bool enabled = false, int lineNumber = 1) : IBackgroundRenderer
diff --git a/Program.cs b/Program.cs
index 1b26135..9e993da 100644
--- a/Program.cs
+++ b/Program.cs
@@ -1,8 +1,7 @@
-using System;
+using SimpleCompiler.GUI;
+using System;
 using System.Windows.Forms;
 
-using SimpleCompiler.GUI;
-
 namespace SimpleCompiler;
 
 static class Program
diff --git a/SimpleCompiler.csproj b/SimpleCompiler.csproj
index 728974a..be6d15d 100644
--- a/SimpleCompiler.csproj
+++ b/SimpleCompiler.csproj
@@ -85,8 +85,10 @@
     <Compile Include="Comp\IMember.cs" />
     <Compile Include="Comp\Types\NamedType.cs" />
     <Compile Include="Comp\Types\StringType.cs" />
+    <Compile Include="Comp\Types\TypeEntry.cs" />
     <Compile Include="Comp\Types\TypeSetType.cs" />
     <Compile Include="Comp\Types\UnresolvedType.cs" />
+    <None Include=".editorconfig" />
     <None Include="Examples\TesteAritimetico.sl">
       <CopyToOutputDirectory>PreserveNewest</CopyToOutputDirectory>
     </None>
@@ -100,6 +102,7 @@
     <Compile Include="GUI\SourceTab.cs" />
     <Compile Include="GUI\SteppingRenderer.cs" />
     <Compile Include="VM\Breakpoint.cs" />
+    <Compile Include="VM\Error.cs" />
     <Compile Include="VM\IPRange.cs" />
     <Compile Include="VM\LineKey.cs" />
     <Compile Include="VM\LocalVariableNode.cs" />
diff --git a/VM/Error.cs b/VM/Error.cs
new file mode 100644
index 0000000..56ecdaf
--- /dev/null
+++ b/VM/Error.cs
@@ -0,0 +1,11 @@
+namespace SimpleCompiler.VM;
+
+public enum Error
+{
+    NONE = 0,
+    ARITHMETIC_OVERFLOW,
+    DIVISION_BY_ZERO,
+    STACK_OVERFLOW,
+    OUT_OF_MEMORY,
+    INVALID_CONVERSION
+}
\ No newline at end of file
diff --git a/VM/LocalVariableNode.cs b/VM/LocalVariableNode.cs
index aa427b3..33d30ea 100644
--- a/VM/LocalVariableNode.cs
+++ b/VM/LocalVariableNode.cs
@@ -1,6 +1,5 @@
-using System.Collections.Generic;
-
-using Comp;
+using Comp;
+using System.Collections.Generic;
 
 namespace SimpleCompiler.VM;
 
diff --git a/VM/VirtualMachine.cs b/VM/VirtualMachine.cs
index fdd5baf..5a1185e 100644
--- a/VM/VirtualMachine.cs
+++ b/VM/VirtualMachine.cs
@@ -1,17 +1,13 @@
-using System;
+using Asm;
+using Comp;
+using Comp.Types;
+using SimpleCompiler.VM;
+using System;
 using System.Collections.Generic;
 using System.Globalization;
 using System.Linq;
 using System.Runtime.InteropServices;
 using System.Threading;
-
-using Asm;
-
-using Comp;
-using Comp.Types;
-
-using SimpleCompiler.VM;
-
 using Units;
 
 namespace VM;
@@ -116,21 +112,28 @@ private record ExternalFunctionEntry(string functionName, int functionIndex, Ext
     public event SteppingDelegate OnStep;
     public event BreakpointDelegate OnBreakpoint;
 
+    public Error LastError
+    {
+        get;
+        internal set;
+    }
+
     public int IP
     {
         get => ip;
-
         set => ip = value;
     }
 
     public int SP
     {
-        get; set;
+        get;
+        set;
     }
 
     public int BP
     {
-        get; set;
+        get;
+        set;
     }
 
     public bool Paused
@@ -208,6 +211,7 @@ public void Initialize(Assembler assembler, int stackSize = DEFAULT_STACK_SIZE)
         code = new byte[assembler.CodeSize];
         assembler.CopyCode(code);
         SP = 0;
+        LastError = 0;
 
         foreach (var (fileName, line, ip) in assembler.SourceCodeLines)
         {
@@ -277,11 +281,11 @@ public void Initialize(Assembler assembler, int stackSize = DEFAULT_STACK_SIZE)
 
             if (!function.IsExtern)
             {
-                var fileName = function.Interval.FileName;
-                var firstLine = function.Interval.FirstLine;
-                var lastLine = function.Interval.LastLine;
-                var firstIP = GetIPFromLine(fileName, firstLine);
-                var lastIP = GetIPFromLine(fileName, lastLine);
+                string fileName = function.Interval.FileName;
+                int firstLine = function.Interval.FirstLine;
+                int lastLine = function.Interval.LastLine;
+                int firstIP = GetIPFromLine(fileName, firstLine);
+                int lastIP = GetIPFromLine(fileName, lastLine);
                 if (firstIP != -1 && lastIP != -1)
                     ipToFunction.Add(firstIP, (function, (firstIP, lastIP)));
             }
@@ -305,6 +309,7 @@ public void Initialize(Assembler assembler, int stackSize = DEFAULT_STACK_SIZE)
             Push(constantBuffer);
         }
 
+        LastError = 0;
         initialSP = SP;
         LastObject = IntPtr.Zero;
         ObjectCount = 0;
@@ -358,6 +363,8 @@ public IntPtr NewObject(int size, bool zeroMemory = true)
     {
         try
         {
+            LastError = Error.NONE;
+
             var result = Marshal.AllocHGlobal(size + OBJECT_REC_SIZE);
             result += OBJECT_REC_SIZE;
 
@@ -389,6 +396,7 @@ public IntPtr NewObject(int size, bool zeroMemory = true)
         }
         catch (OutOfMemoryException)
         {
+            LastError = Error.OUT_OF_MEMORY;
         }
 
         return IntPtr.Zero;
@@ -431,7 +439,7 @@ public static int StringLength(IntPtr str)
         unsafe
         {
             var rec = (ObjectRec*) (str - OBJECT_REC_SIZE).ToPointer();
-            return rec->size - 1;
+            return rec->size / sizeof(char) - 1;
         }
     }
 
@@ -591,7 +599,7 @@ public LineKey GetLineFromIP(int ip, bool exact = true)
         if (selection.Count() == 0)
             return LineKey.INVALID_KEY;
 
-        var nearest = ip - selection.Min(k => ip - k);
+        int nearest = ip - selection.Min(k => ip - k);
         return ipToLine[nearest];
     }
 
@@ -624,7 +632,7 @@ public Function GetFunctionAtIP(int ip)
         if (selection.Count() == 0)
             return null;
 
-        var nearest = ip - selection.Min(k => ip - k);
+        int nearest = ip - selection.Min(k => ip - k);
         var (function, range) = ipToFunction[nearest];
         return range.Contains(nearest) ? function : null;
     }
diff --git a/examples/NumerosPerfeitos.sl b/examples/NumerosPerfeitos.sl
index c2a1397..bbb7b83 100644
--- a/examples/NumerosPerfeitos.sl
+++ b/examples/NumerosPerfeitos.sl
@@ -25,7 +25,7 @@ função É_Perfeito(n:int):bool
 	leia n;
 
 	se (É_Perfeito(n))
-		escrevaln n, " é perfeito.";
+		escrevaln n + " é perfeito.";
 	senão
-		escrevaln n, " não é perfeito.";
+		escrevaln n + " não é perfeito.";
 }
\ No newline at end of file
diff --git a/examples/System.sl b/examples/System.sl
index 700a0c2..2323fe5 100644
--- a/examples/System.sl
+++ b/examples/System.sl
@@ -50,4 +50,30 @@ função esterna IncrementaReferenciaTexto(str:texto);
 	
 função esterna DecrementaReferenciaTexto(&str:texto, anule:bool);
 
-função esterna DecrementaReferenciaArrayTexto(str:texto[], count:int, anule:bool);
\ No newline at end of file
+função esterna DecrementaReferenciaArrayTexto(str:texto[], count:int, anule:bool);
+
+função esterna BoolParaTexto(&dst:texto, flag:bool);
+
+função esterna CharParaTexto(&dst:texto, c:char);
+
+função esterna IntParaTexto(&dst:texto, num:int);
+
+função esterna LongParaTexto(&dst:texto, num:long);
+
+função esterna FloatParaTexto(&dst:texto, num:float);
+
+função esterna RealParaTexto(&dst:texto, num:real);
+
+função esterna TextoParaBool(txt:texto):bool;
+
+função esterna TextoParaChar(txt:texto):char;
+
+função esterna TextoParaInt(txt:texto):int;
+
+função esterna TextoParaLong(txt:texto):long;
+
+função esterna TextoParaFloat(txt:texto):float;
+
+função esterna TextoParaReal(txt:texto):real;
+
+função esterna UltimoErro():int;
\ No newline at end of file
diff --git a/examples/TesteString.sl b/examples/TesteString.sl
index 340a3ba..756184c 100644
--- a/examples/TesteString.sl
+++ b/examples/TesteString.sl
@@ -31,14 +31,14 @@ var t:E1;
 	123
 	123456
 	789123456
-	abcdef
-	123abcdef
+	abc123def
+	123abc123def
 	193
-	123cbcdef
-	9
-	9
-	1 texto 2 textoabcdef 3.1
-	3 textotextoabcdef 4
+	1233bc123def
+	12
+	15
+	1 texto 2 textoabc123def 3.1
+	3 textotextoabc123def 4
 	987123-- 789321++ abcxyz a1b2c3
 	Digite o valor de s: string
 	Digite o valor de s2: 123
@@ -57,34 +57,34 @@ var t:E1;
 	s = "789" + s; // s = "789123456"
 	escrevaln s;
 	
-	var s3:texto = "abc" + "def"; // s3 = "abcdef"
+	var s3:texto = "abc" + 123 + "def"; // s3 = "abc123def"
 	escrevaln s3;
 	
-	s = s2 + s3; // s = "123abcdef"
+	s = s2 + s3; // s = "123abc123def"
 	escrevaln s;
 	
-	s2[1] = '9'; // s2 = "192"
+	s2[1] = '9'; // s2 = "193"
 	escrevaln s2;
 	
-	s[3] = s3[2]; // s = "123cbcdef"
+	s[3] = s3[2]; // s = "1233bc123def"
 	escrevaln s;
 	
-	escrevaln s.tamanho;
+	escrevaln s.tamanho; // 12
 	
-	var l:int = s2.tamanho + s3.tamanho;
+	var l:int = s2.tamanho + s3.tamanho; // l = 15
 	escrevaln l;
 	
 	t.i = 1;
 	t.s1 = "texto";
 	t.j = 2;
-	t.s2 = t.s1 + s3; // t.s2 = "textoabcdef"
+	t.s2 = t.s1 + s3; // t.s2 = "textoabc123def"
 	t.r = 3.1;
 	
 	escrevaln t.i, " ", t.s1, " ", t.j, " ", t.s2, " ", t.r;
 	
 	var s4:E2;
 	s4.i = t.i + t.j; // s4.i = 3
-	s4.s = t.s1 + t.s2; // s4.s = "textotextoabcdef"
+	s4.s = t.s1 + t.s2; // s4.s = "textotextoabc123def"
 	s4.j = t.j - t.i + cast<int>(t.r); // s4.j = 4
 	
 	escrevaln s4.i, " ", s4.s, " ", s4.j;
diff --git a/units/UnitySystem.cs b/units/UnitySystem.cs
index 6bfd0c2..41f7ce0 100644
--- a/units/UnitySystem.cs
+++ b/units/UnitySystem.cs
@@ -1,4 +1,5 @@
-using System;
+using SimpleCompiler.VM;
+using System;
 using System.Collections.Generic;
 using System.Globalization;
 using System.Runtime.InteropServices;
@@ -32,6 +33,19 @@ public class UnitySystem
     private static readonly int STRING_ADDREF_PARAM_SIZE = OBJECT_SIZE;
     private static readonly int STRING_RELEASE_PARAM_SIZE = POINTER_SIZE + sizeof(int);
     private static readonly int STRING_ARRAY_RELEASE_PARAM_SIZE = POINTER_SIZE + 2 * sizeof(int);
+    private static readonly int BOOL_TO_STRING_PARAM_SIZE = POINTER_SIZE + sizeof(int);
+    private static readonly int CHAR_TO_STRING_PARAM_SIZE = POINTER_SIZE + sizeof(int);
+    private static readonly int INT_TO_STRING2_PARAM_SIZE = POINTER_SIZE + sizeof(int);
+    private static readonly int LONG_TO_STRING2_PARAM_SIZE = POINTER_SIZE + sizeof(long);
+    private static readonly int FLOAT_TO_STRING2_PARAM_SIZE = POINTER_SIZE + sizeof(float);
+    private static readonly int DOUBLE_TO_STRING2_PARAM_SIZE = POINTER_SIZE + sizeof(double);
+    private static readonly int STRING_TO_BOOL_PARAM_SIZE = sizeof(int) + POINTER_SIZE;
+    private static readonly int STRING_TO_CHAR_PARAM_SIZE = sizeof(int) + POINTER_SIZE;
+    private static readonly int STRING_TO_INT2_PARAM_SIZE = sizeof(int) + POINTER_SIZE;
+    private static readonly int STRING_TO_LONG2_PARAM_SIZE = sizeof(long) + POINTER_SIZE;
+    private static readonly int STRING_TO_FLOAT2_PARAM_SIZE = sizeof(float) + POINTER_SIZE;
+    private static readonly int STRING_TO_DOUBLE2_PARAM_SIZE = sizeof(double) + POINTER_SIZE;
+    private static readonly int LAST_ERROR_PARAM_SIZE = sizeof(int);
 
     public static readonly int POINTER_COUNT = POINTER_SIZE / sizeof(int);
     public static readonly int STRING_COUNT = POINTER_COUNT;
@@ -96,6 +110,7 @@ public static void StringToInt(VirtualMachine vm)
 
         try
         {
+            vm.LastError = Error.NONE;
             int value = int.Parse(s, CultureInfo.InvariantCulture);
             vm.WritePointer(dst, value);
             vm.SetParam(STRING_TO_INT_PARAM_SIZE, 0, 1);
@@ -103,6 +118,7 @@ public static void StringToInt(VirtualMachine vm)
         catch (Exception)
         {
             vm.SetParam(STRING_TO_INT_PARAM_SIZE, 0, 0);
+            vm.LastError = Error.INVALID_CONVERSION;
         }
     }
 
@@ -115,6 +131,7 @@ public static void StringToLong(VirtualMachine vm)
 
         try
         {
+            vm.LastError = Error.NONE;
             long value = long.Parse(s, CultureInfo.InvariantCulture);
             vm.WritePointer(dst, value);
             vm.SetParam(STRING_TO_INT_PARAM_SIZE, 0, 1);
@@ -122,6 +139,7 @@ public static void StringToLong(VirtualMachine vm)
         catch (Exception)
         {
             vm.SetParam(STRING_TO_INT_PARAM_SIZE, 0, 0);
+            vm.LastError = Error.INVALID_CONVERSION;
         }
     }
 
@@ -134,6 +152,7 @@ public static void StringToFloat(VirtualMachine vm)
 
         try
         {
+            vm.LastError = Error.NONE;
             float value = float.Parse(s, CultureInfo.InvariantCulture);
             vm.WritePointer(dst, value);
             vm.SetParam(STRING_TO_INT_PARAM_SIZE, 0, 1);
@@ -141,6 +160,7 @@ public static void StringToFloat(VirtualMachine vm)
         catch (Exception)
         {
             vm.SetParam(STRING_TO_INT_PARAM_SIZE, 0, 0);
+            vm.LastError = Error.INVALID_CONVERSION;
         }
     }
 
@@ -153,6 +173,7 @@ public static void StringToDouble(VirtualMachine vm)
 
         try
         {
+            vm.LastError = Error.NONE;
             double value = double.Parse(s, CultureInfo.InvariantCulture);
             WritePointer(dst, value);
             vm.SetParam(STRING_TO_INT_PARAM_SIZE, 0, 1);
@@ -160,6 +181,7 @@ public static void StringToDouble(VirtualMachine vm)
         catch (Exception)
         {
             vm.SetParam(STRING_TO_INT_PARAM_SIZE, 0, 0);
+            vm.LastError = Error.INVALID_CONVERSION;
         }
     }
 
@@ -205,12 +227,14 @@ public static void Alloc(VirtualMachine vm)
 
         try
         {
+            vm.LastError = Error.NONE;
             var result = Marshal.AllocHGlobal(len);
             vm.SetParam(ALLOC_PARAM_SIZE, 0, result);
         }
         catch (OutOfMemoryException)
         {
             vm.SetParam(ALLOC_PARAM_SIZE, 0, IntPtr.Zero);
+            vm.LastError = Error.OUT_OF_MEMORY;
         }
     }
 
@@ -309,7 +333,7 @@ public static void StringStore(VirtualMachine vm)
     public static void StringAddRef(VirtualMachine vm)
     {
         var str = vm.LoadParamPtr(STRING_ADDREF_PARAM_SIZE, 0);
-        VirtualMachine.ObjectAddRef(str);
+        ObjectAddRef(str);
     }
 
     public static void StringRelease(VirtualMachine vm)
@@ -329,6 +353,256 @@ public static void StringArrayRelease(VirtualMachine vm)
         vm.ObjectArrayRelease(ptr, count, setNull);
     }
 
+    public static void BoolToString(VirtualMachine vm)
+    {
+        bool flag = vm.LoadParam(BOOL_TO_STRING_PARAM_SIZE, 1) != 0;
+        string s = flag ? "verdade" : "falso";
+        var result = vm.NewString(s);
+
+        var dstAddr = vm.LoadParamPtr(BOOL_TO_STRING_PARAM_SIZE, 0);
+
+        var dst = ReadPointerPtr(dstAddr);
+        vm.ObjectRelease(dst);
+
+        WritePointer(dstAddr, result);
+    }
+
+    public static void CharToString(VirtualMachine vm)
+    {
+        char c = (char) vm.LoadParam(CHAR_TO_STRING_PARAM_SIZE, 1);
+        string s = new(c, 1);
+        var result = vm.NewString(s);
+
+        var dstAddr = vm.LoadParamPtr(CHAR_TO_STRING_PARAM_SIZE, 0);
+
+        var dst = ReadPointerPtr(dstAddr);
+        vm.ObjectRelease(dst);
+
+        WritePointer(dstAddr, result);
+    }
+
+    public static void IntToString2(VirtualMachine vm)
+    {
+        int num = vm.LoadParam(INT_TO_STRING2_PARAM_SIZE, 1);
+        string s = num.ToString(CultureInfo.InvariantCulture);
+        var result = vm.NewString(s);
+
+        var dstAddr = vm.LoadParamPtr(INT_TO_STRING2_PARAM_SIZE, 0);
+
+        var dst = ReadPointerPtr(dstAddr);
+        vm.ObjectRelease(dst);
+
+        WritePointer(dstAddr, result);
+    }
+
+    public static void LongToString2(VirtualMachine vm)
+    {
+        long num = vm.LoadParamLong(LONG_TO_STRING2_PARAM_SIZE, 1);
+        string s = num.ToString(CultureInfo.InvariantCulture);
+        var result = vm.NewString(s);
+
+        var dstAddr = vm.LoadParamPtr(LONG_TO_STRING2_PARAM_SIZE, 0);
+
+        var dst = ReadPointerPtr(dstAddr);
+        vm.ObjectRelease(dst);
+
+        WritePointer(dstAddr, result);
+    }
+
+    public static void FloatToString2(VirtualMachine vm)
+    {
+        float num = vm.LoadParamFloat(FLOAT_TO_STRING2_PARAM_SIZE, 1);
+        string s = num.ToString(CultureInfo.InvariantCulture);
+        var result = vm.NewString(s);
+
+        var dstAddr = vm.LoadParamPtr(FLOAT_TO_STRING2_PARAM_SIZE, 0);
+
+        var dst = ReadPointerPtr(dstAddr);
+        vm.ObjectRelease(dst);
+
+        WritePointer(dstAddr, result);
+    }
+
+    public static void DoubleToString2(VirtualMachine vm)
+    {
+        double num = vm.LoadParamDouble(DOUBLE_TO_STRING2_PARAM_SIZE, 1);
+        string s = num.ToString(CultureInfo.InvariantCulture);
+        var result = vm.NewString(s);
+
+        var dstAddr = vm.LoadParamPtr(DOUBLE_TO_STRING2_PARAM_SIZE, 0);
+
+        var dst = ReadPointerPtr(dstAddr);
+        vm.ObjectRelease(dst);
+
+        WritePointer(dstAddr, result);
+    }
+
+    public static void StringToBool(VirtualMachine vm)
+    {
+        var txt = vm.LoadParamPtr(STRING_TO_BOOL_PARAM_SIZE, 1);
+        string s = txt != IntPtr.Zero ? ReadPointerString(txt) : null;
+
+        vm.LastError = Error.NONE;
+        bool result = false;
+
+        if (s == null)
+        {
+            vm.LastError = Error.INVALID_CONVERSION;
+        }
+        else
+        {
+            s = s.Trim();
+            if (s.Equals("verdade", StringComparison.InvariantCultureIgnoreCase) ||
+                s.Equals("true", StringComparison.InvariantCultureIgnoreCase) ||
+                s.Equals("1", StringComparison.InvariantCultureIgnoreCase))
+                result = true;
+            else if (s.Equals("falso", StringComparison.InvariantCultureIgnoreCase) ||
+                s.Equals("false", StringComparison.InvariantCultureIgnoreCase) ||
+                s.Equals("0", StringComparison.InvariantCultureIgnoreCase))
+                result = false;
+            else
+                vm.LastError = Error.INVALID_CONVERSION;
+        }
+
+        vm.SetParam(STRING_TO_BOOL_PARAM_SIZE, 0, result ? 1 : 0);
+    }
+
+    public static void StringToChar(VirtualMachine vm)
+    {
+        var txt = vm.LoadParamPtr(STRING_TO_CHAR_PARAM_SIZE, 1);
+        string s = txt != IntPtr.Zero ? ReadPointerString(txt) : null;
+
+        vm.LastError = Error.NONE;
+        char result = '\0';
+
+        if (s == null)
+        {
+            vm.LastError = Error.INVALID_CONVERSION;
+        }
+        else
+        {
+            if (s.Length == 1)
+                result = s[0];
+            else
+                vm.LastError = Error.INVALID_CONVERSION;
+        }
+
+        vm.SetParam(STRING_TO_CHAR_PARAM_SIZE, 0, result);
+    }
+
+    public static void StringToInt2(VirtualMachine vm)
+    {
+        var txt = vm.LoadParamPtr(STRING_TO_INT2_PARAM_SIZE, 1);
+        string s = txt != IntPtr.Zero ? ReadPointerString(txt) : null;
+
+        vm.LastError = Error.NONE;
+        int result = 0;
+
+        if (s == null)
+        {
+            vm.LastError = Error.INVALID_CONVERSION;
+        }
+        else
+        {
+            try
+            {
+                result = int.Parse(s, CultureInfo.InvariantCulture);
+            }
+            catch (Exception)
+            {
+                vm.LastError = Error.INVALID_CONVERSION;
+            }
+        }
+
+        vm.SetParam(STRING_TO_INT2_PARAM_SIZE, 0, result);
+    }
+
+    public static void StringToLong2(VirtualMachine vm)
+    {
+        var txt = vm.LoadParamPtr(STRING_TO_LONG2_PARAM_SIZE, 2);
+        string s = txt != IntPtr.Zero ? ReadPointerString(txt) : null;
+
+        vm.LastError = Error.NONE;
+        long result = 0;
+
+        if (s == null)
+        {
+            vm.LastError = Error.INVALID_CONVERSION;
+        }
+        else
+        {
+            try
+            {
+                result = long.Parse(s, CultureInfo.InvariantCulture);
+            }
+            catch (Exception)
+            {
+                vm.LastError = Error.INVALID_CONVERSION;
+            }
+        }
+
+        vm.SetParam(STRING_TO_LONG2_PARAM_SIZE, 0, result);
+    }
+
+    public static void StringToFloat2(VirtualMachine vm)
+    {
+        var txt = vm.LoadParamPtr(STRING_TO_FLOAT2_PARAM_SIZE, 1);
+        string s = txt != IntPtr.Zero ? ReadPointerString(txt) : null;
+
+        vm.LastError = Error.NONE;
+        float result = 0;
+
+        if (s == null)
+        {
+            vm.LastError = Error.INVALID_CONVERSION;
+        }
+        else
+        {
+            try
+            {
+                result = float.Parse(s, CultureInfo.InvariantCulture);
+            }
+            catch (Exception)
+            {
+                vm.LastError = Error.INVALID_CONVERSION;
+            }
+        }
+
+        vm.SetParam(STRING_TO_FLOAT2_PARAM_SIZE, 0, result);
+    }
+
+    public static void StringToDouble2(VirtualMachine vm)
+    {
+        var txt = vm.LoadParamPtr(STRING_TO_DOUBLE2_PARAM_SIZE, 2);
+        string s = txt != IntPtr.Zero ? ReadPointerString(txt) : null;
+
+        vm.LastError = Error.NONE;
+        double result = 0;
+
+        if (s == null)
+        {
+            vm.LastError = Error.INVALID_CONVERSION;
+        }
+        else
+        {
+            try
+            {
+                result = double.Parse(s, CultureInfo.InvariantCulture);
+            }
+            catch (Exception)
+            {
+                vm.LastError = Error.INVALID_CONVERSION;
+            }
+        }
+
+        vm.SetParam(STRING_TO_DOUBLE2_PARAM_SIZE, 0, result);
+    }
+
+    public static void LastError(VirtualMachine vm)
+    {
+        vm.SetParam(LAST_ERROR_PARAM_SIZE, 0, (int) vm.LastError);
+    }
+
     static UnitySystem()
     {
         FUNCTIONS = new Dictionary<string, ExternalFunctionHandler>
@@ -357,7 +631,20 @@ static UnitySystem()
             { "AtribuiTexto", StringStore },
             { "IncrementaReferenciaTexto", StringAddRef },
             { "DecrementaReferenciaTexto", StringRelease },
-            { "DecrementaReferenciaArrayTexto", StringArrayRelease }
+            { "DecrementaReferenciaArrayTexto", StringArrayRelease },
+            { "BoolParaTexto", BoolToString },
+            { "CharParaTexto", CharToString },
+            { "IntParaTexto", IntToString2 },
+            { "LongParaTexto", LongToString2 },
+            { "FloatParaTexto", FloatToString2 },
+            { "RealParaTexto", DoubleToString2 },
+            { "TextoParaBool", StringToBool },
+            { "TextoParaChar", StringToChar },
+            { "TextoParaInt", StringToInt2 },
+            { "TextoParaLong", StringToLong2 },
+            { "TextoParaFloat", StringToFloat2 },
+            { "TextoParaReal", StringToDouble2 },
+            { "UltimoErro", LastError }
         };
     }
 }
\ No newline at end of file