arginfo_getrandmax 1905 ext/standard/basic_functions.c ZEND_BEGIN_ARG_INFO(arginfo_getrandmax, 0)
arginfo_getrandmax 2841 ext/standard/basic_functions.c 	PHP_FE(getrandmax,													arginfo_getrandmax)