5817

1 files changed, 4 insertions, 1 deletions

diff --git a/050_write.subx b/050_write.subx
index 13f3cddf..f4b95c0d 100644
--- a/050_write.subx
+++ b/050_write.subx
@@ -20,7 +20,10 @@ Entry:  # just exit; can't test _write just yet
 #   - 'ref' which is used to point to a unique element, because machine
 #     code can't store large types in registers.
 #   - 'handle' which can point to a heap allocation, different heap allocations
-#     at different times, or even at times nothing at all.
+#     at different times, or even at times nothing at all. (Later on handles
+#     will turn into fat pointers to enable safe reclamation. But in unsafe
+#     levels we'll just never reclaim them, and handles will be word-sized just
+#     like refs.)
 #
 # The type 'address' can be obtained from either a ref or handle, but it can
 # only be stored on the stack (say to pass objects by reference).