Current File : //usr/local/apps/php82/include/php/ext/standard/php_random.h
#include "ext/random/php_random.h"