From a990595ff04a093ac83d98284020adde6f31a48a Mon Sep 17 00:00:00 2001
From: Yury Gribov <tetra2005@gmail.com>
Date: Fri, 24 Jan 2025 10:58:47 +0300
Subject: [PATCH] Added comment in spec.

---
 specs/Init.pml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/specs/Init.pml b/specs/Init.pml
index 8823ffe..f1f0f0d 100644
--- a/specs/Init.pml
+++ b/specs/Init.pml
@@ -94,6 +94,7 @@ recurse:
 
             // We have finished library init, return to caller
             :: else -> {
+              // For more complex behaviors we'll need to store return adddress
               lib_state = LOADED
               goto return_from_recurse
             }