From b3e9e62599532050fc776c5e8f076915b56c2235 Mon Sep 17 00:00:00 2001
From: David Faulkner <d@davo.co>
Date: Fri, 7 Aug 2026 23:40:47 -0500
Subject: Import official C23 code examples for Modern C (Jens Gustedt, 2024)

- Add official C source files, Makefile, c23-fallback.h, and LICENSE
- Update README.md with study mirror notice
---
 extern.c | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 extern.c

(limited to 'extern.c')

diff --git a/extern.c b/extern.c
new file mode 100644
index 0000000..186596d
--- /dev/null
+++ b/extern.c
@@ -0,0 +1,13 @@
+#include <stdio.h>
+
+unsigned i = 1;          /*@\label{line:decl-i-1}*/
+
+int main(void) {
+  unsigned i = 2;        /* A new object *//*@\label{line:decl-i-2}*/
+  if (i) {
+    extern unsigned i;   /* An existing object *//*@\label{line:decl-i-3}*/
+    printf("%u\n", i);   /* prints 1 */
+  } else {
+    printf("%u\n", i);   /* prints 2 */
+  }
+}
-- 
cgit v1.2.3