asmNoStackFrame -> stackTrace:off

doc/manual.txt

@@ -2335,7 +2335,8 @@ Nimrod identifiers shall be enclosed in a special character which can be
 specified in the statement's pragmas. The default special character is ``'`'``:
 
 .. code-block:: nimrod
-  proc addInt(a, b: int): int {.asmNoStackFrame.} =
+  {.push stackTrace:off.}
+  proc addInt(a, b: int): int =
     # a in eax, and b in edx
     asm """
         mov eax, `a`
@@ -2344,6 +2345,7 @@ specified in the statement's pragmas. The default special character is ``'`'``:
         call `raiseOverflow`
       theEnd:
     """
+  {.pop.}
 
 If the GNU assembler is used, quotes and newlines are inserted automatically:
 

doc/nimrodc.txt

@@ -360,10 +360,12 @@ Example:
   static int cvariable = 420;
   """.}
 
+  {.push stackTrace:off.}
   proc embedsC() {.asmNoStackFrame.} = 
     var nimrodVar = 89
     # use backticks to access Nimrod symbols within an emit section:
     {.emit: """fprintf(stdout, "%d\n", cvariable + (int)`nimrodVar`);""".}
+  {.pop.}
 
   embedsC()