This file is indexed.

/usr/include/biosquid/sre_random.h is in biosquid-dev 1.9g+cvs20050121-4.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
/* sre_random.h
 * Header file for sre_random.c
 *
 * SRE, Tue Oct  1 15:24:29 2002
 * CVS $Id: sre_random.h,v 1.2 2003/10/27 21:08:13 eddy Exp $
 */

extern double sre_random(void);
extern void   sre_srandom(int seed);
extern double sre_random_positive(void);
extern double ExponentialRandom(void);
extern double Gaussrandom(double mean, double stddev);
extern int    DChoose(double *p, int N);
extern int    FChoose(float *p, int N);
extern void   SampleCountvector(double *p, int K, int ctot, double *c);

#define CHOOSE(a)   ((int) (sre_random() * (a)))