1 <?php
2 
3 require_once 'lib/byte_safe_strings.php';
4 require_once 'lib/cast_to_int.php';
5 require_once 'lib/error_polyfill.php';
6 require_once 'other/ide_stubs/libsodium.php';
7 require_once 'lib/random.php';
8 
9 $int = random_int(0, 65536);
10