From 940106f96dea93c312552491d3332cadb6b05410 Mon Sep 17 00:00:00 2001
From: Folkert Kevelam <contact@pyllr.nl>
Date: Sat, 28 Jun 2025 21:47:09 +0200
Subject: [PATCH] Initial commit

---
 runtime/adainclude/unchecked_conversion.ads | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 runtime/adainclude/unchecked_conversion.ads

diff --git a/runtime/adainclude/unchecked_conversion.ads b/runtime/adainclude/unchecked_conversion.ads
new file mode 100644
index 0000000..0210a54
--- /dev/null
+++ b/runtime/adainclude/unchecked_conversion.ads
@@ -0,0 +1,5 @@
+generic
+   type Source (<>) is limited private;
+   type Target (<>) is limited private;
+function Unchecked_Conversion (S : Source) return Target
+   with Pure, Nonblocking, Import, Convention => Intrinsic;