diff --git a/compiler/sem.nim b/compiler/sem.nim
index 37eedc3846..99eca848b5 100755
--- a/compiler/sem.nim
+++ b/compiler/sem.nim
@@ -99,6 +99,10 @@ proc semAndEvalConstExpr(c: PContext, n: PNode): PNode =
 include seminst, semcall
 
 proc semAfterMacroCall(c: PContext, n: PNode, s: PSym): PNode = 
+  inc(evalTemplateCounter)
+  if evalTemplateCounter > 100:
+    GlobalError(s.info, errTemplateInstantiationTooNested)
+
   result = n
   case s.typ.sons[0].kind
   of tyExpr:
@@ -115,6 +119,7 @@ proc semAfterMacroCall(c: PContext, n: PNode, s: PSym): PNode =
     result = semExpr(c, result)
     result = fitNode(c, s.typ.sons[0], result)
     #GlobalError(s.info, errInvalidParamKindX, typeToString(s.typ.sons[0]))
+  dec(evalTemplateCounter)
 
 proc semMacroExpr(c: PContext, n: PNode, sym: PSym, 
                   semCheck: bool = true): PNode = 
diff --git a/lib/system/alloc.nim b/lib/system/alloc.nim
index f2603586e1..95fe2542d4 100755
--- a/lib/system/alloc.nim
+++ b/lib/system/alloc.nim
@@ -562,7 +562,6 @@ proc rawAlloc0(a: var TMemRegion, requestedSize: int): pointer =
 
 proc rawDealloc(a: var TMemRegion, p: pointer) =
   sysAssert(allocInv(a), "rawDealloc: begin")
-  sysAssert(isAllocatedPtr(a, p), "rawDealloc: no allocated pointer!")
   var c = pageAddr(p)
   if isSmallChunk(c):
     # `p` is within a small chunk: