This file is indexed.

/usr/include/diet/skalibs/rrandom.h is in skalibs-dev 0.47-1.

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
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
/* Public domain. */

#ifndef RRANDOM_H
#define RRANDOM_H

#include "unirandom.h"

typedef struct rrandominfo rrandominfo, *rrandominfo_ref, **rrandominfo_ref_ref ;
struct rrandominfo
{
  unirandom it ;
  unsigned int ok ;
} ;

#define RRANDOMINFO_ZERO { UNIRANDOM_ZERO, 3 }

typedef struct rrandom rrandom, *rrandom_ref, **rrandom_ref_ref ;
struct rrandom
{
  rrandominfo tries[3] ;
  unsigned int n ;
} ;

#define RRANDOM_ZERO { { RRANDOMINFO_ZERO, RRANDOMINFO_ZERO, RRANDOMINFO_ZERO }, 0 }

extern int rrandom_add (rrandom_ref, int (*) (unirandom_ref)) ;
extern int rrandom_finish (rrandom_ref) ;

extern unsigned int rrandom_read (rrandom_ref, char *, unsigned int, unsigned int (*) (unirandom_ref, char *, unsigned int)) ;
extern unsigned int rrandom_readint (rrandom_ref, unsigned int, unsigned int (*) (unirandom_ref, char *, unsigned int)) ;
#define rrandom_readb(z, s, n) rrandom_read((z), (s), (n), &unirandom_readb)
#define rrandom_readnb(z, s, n) rrandom_read((z), (s), (n), &unirandom_readnb)

extern unsigned int rrandom_name (rrandom_ref, char *, unsigned int, unsigned char) ;

#endif