From 7deb5532ea8222b7594844ca246ec153bac716d3 Mon Sep 17 00:00:00 2001
From: Andrew Walbran <qwandor@google.com>
Date: Tue, 17 Jan 2023 16:41:23 +0000
Subject: [PATCH] Add speaker notes for extern functions.

---
 src/unsafe/extern-functions.md | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/unsafe/extern-functions.md b/src/unsafe/extern-functions.md
index e1048daa..e3f2f046 100644
--- a/src/unsafe/extern-functions.md
+++ b/src/unsafe/extern-functions.md
@@ -15,3 +15,11 @@ fn main() {
     }
 }
 ```
+
+<details>
+
+This is usually only a problem for extern functions which do things with pointers which might
+violate Rust's memory model, but in general any C function might have undefined behaviour under any
+arbitrary circumstances.
+
+</details>