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
             }