/* Copyright (c) 2026 Meng Zhuo */
/* SPDX-License-Identifier: BSD-3-Clause */
long lrand48(void);
void srand48(long);
long mrand48(void);
long nrand48(unsigned short [3]);
long jrand48(unsigned short [3]);
unsigned short *seed48(unsigned short [3]);
double drand48(void);
double erand48(unsigned short [3]);
void lcong48(unsigned short [7]);