#include <testsuite_hooks.h>
void
-test01()
+test01()
{
bool test __attribute__((unused)) = true;
0x9908b0dful, 11, 7,
0x9d2c5680ul, 15,
0xefc60000ul, 18> x;
-
+
VERIFY( x.min() == 0 );
VERIFY( x.max() == 4294967295ul );
VERIFY( x() == 3499211612ul );