1 files changed, 11 insertions, 0 deletions
diff --git a/snippets/test_snippets/inner.nc b/snippets/test_snippets/inner.nc
new file mode 100644
index 0000000..5d90b41
--- /dev/null
+++ b/snippets/test_snippets/inner.nc
@@ -0,0 +1,11 @@
+extern exit;
+
+let main()
+{
+    let foo := 42;
+
+    const ret_stub():
+        foo := 0x10;
+        exit(foo);
+        return 0x0;
+}