Current File : //proc/thread-self/root/kunden/usr/include/php83/ext/standard/php_mt_rand.h

#include "ext/random/php_random.h"