Added an OS based random number generator (RNG). (0.37.11)

examples/random_number_example.fun

@@ -0,0 +1,43 @@
+#!/usr/bin/env fun
+
+/*
+ * This file is part of the Fun programming language.
+ * https://fun-lang.xyz/
+ *
+ * Copyright 2025 Johannes Findeisen <you@hanez.org>
+ * Licensed under the terms of the Apache-2.0 license.
+ * https://opensource.org/license/apache-2-0
+ *
+ * Added: 2025-12-12
+ */
+
+/*
+ * Example: Using OS-based random_number(len) builtin
+ * This generates cryptographically strong random bytes and returns them
+ * hex-encoded as a string of length 2*len (since each byte -> two hex chars).
+ */
+
+print("--- random_number(len) demo ---")
+
+len_bytes = 16
+hexstr = random_number(len_bytes)
+print("Requested bytes: " + to_string(len_bytes))
+print("Hex string: " + hexstr)
+print("Hex length (should be 2*bytes = 32): " + to_string(len(hexstr)))
+
+// Zero length returns empty string
+empty = random_number(0)
+print("Empty (0 bytes) -> length: " + to_string(len(empty)) + " value: " + to_string(empty))
+
+// You can request longer values as needed, e.g., 32 bytes -> 64 hex chars
+hex64 = random_number(32)
+print("32 bytes -> " + to_string(len(hex64)) + " hex chars")
+
+/* Possible output:
+--- random_number(len) demo ---
+Requested bytes: 16
+Hex string: d5f12eb93b71e78cc803aa802e76e3b4
+Hex length (should be 2*bytes = 32): 32
+Empty (0 bytes) -> length: 0 value: 
+32 bytes -> 64 hex chars
+*/