1--TEST--
2Random: Randomizer: nextInt(): Throws for 64 bit engines on 32 bit platforms
3--SKIPIF--
4<?php if (PHP_INT_SIZE == 8) die("skip 32-bit only"); ?>
5--FILE--
6<?php
7
8use Random\Randomizer;
9use Random\Engine\Xoshiro256StarStar;
10
11$randomizer = new Randomizer(new Xoshiro256StarStar());
12
13try {
14    var_dump($randomizer->nextInt());
15} catch (Random\RandomException $e) {
16    echo $e->getMessage(), PHP_EOL;
17}
18
19?>
20--EXPECT--
21Generated value exceeds size of int
22