From 629fc969c29a872d2c5fa7bbba181a380d4e32ad Mon Sep 17 00:00:00 2001
From: Erin <erin@erindesu.cz>
Date: Mon, 7 Aug 2023 01:41:26 +0200
Subject: [PATCH] Spec update

---
 spec.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/spec.md b/spec.md
index 1fdbfd7e..8c353b18 100644
--- a/spec.md
+++ b/spec.md
@@ -260,6 +260,7 @@
 
 # Memory
 - Addresses are 64 bit
+- Program should be in the same address space as all other data
 - Memory implementation is arbitrary
 - In case of accessing invalid address:
     - Program shall trap (LoadAccessEx, StoreAccessEx) with parameter of accessed address