This file is indexed.

/usr/include/bglibs/uint32.h is in libbg1-dev 1.106-3.

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
#ifndef UINT32_H
#define UINT32_H

#include <sysdeps.h>
#include <uintnn.h>
__UINTNN_DECL(32,4)
#define uint32_get uint32_get_lsb
#define uint32_pack uint32_pack_lsb
#define uint32_unpack uint32_unpack_lsb

#ifdef ENDIAN_LSB
#define uint32_get_native uint32_get_lsb
#define uint32_pack_native uint32_pack_lsb
#define uint32_unpack_native uint32_unpack_lsb
#else
#define uint32_get_native uint32_get_msb
#define uint32_pack_native uint32_pack_msb
#define uint32_unpack_native uint32_unpack_msb
#endif

#endif