core: Fix restoration of stack address

All allocas for temporary objects are now placed in the beginning of the
function. Allocas for on-temporary objects are not modified because
these variables may appear in a loop and thus must be uniquely
represented.

nac3standalone/demo/interpret_demo.py

@@ -51,8 +51,9 @@ def patch(module):
     def output_float(x):
         print("%f" % x)
 
-    def dbg_stack_address(_):
-        return 0
+    def dbg_stack_address(x):
+        i = 0
+        return uint64(id(i))
 
     def extern(fun):
         name = fun.__name__