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