From 1460a7a23075297ae463aa48e32615af7b83eea6 Mon Sep 17 00:00:00 2001
From: Erin <erin@erindesu.cz>
Date: Wed, 9 Aug 2023 03:01:42 +0200
Subject: [PATCH] Edit 0x0

---
 spec.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/spec.md b/spec.md
index 138ac84..b9aad2a 100644
--- a/spec.md
+++ b/spec.md
@@ -262,8 +262,9 @@
 # Memory
 - Addresses are 64 bit
 - Program should be in the same address space as all other data
-- Address `0x0` is invalid and acessing it traps
 - Memory implementation is arbitrary
+    - Address `0x0` may or may not be valid. Count with compilers
+      considering it invalid!
 - In case of accessing invalid address:
     - Program shall trap (LoadAccessEx, StoreAccessEx) with parameter of accessed address
     - Value of register when trapped is undefined