arginfo_getrandmax 1910 ext/standard/basic_functions.c ZEND_BEGIN_ARG_INFO(arginfo_getrandmax, 0)
arginfo_getrandmax 2834 ext/standard/basic_functions.c 	PHP_FE(getrandmax,													arginfo_getrandmax)