1--TEST--
2Test getrandmax() - basic function test getrandmax()
3--FILE--
4<?php
5$biggest_int = getrandmax();
6var_dump($biggest_int);
7?>
8--EXPECTF--
9int(%d)