This file is indexed.

/usr/include/bglibs/uint64.h is in libbg-dev 2.04+dfsg-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
#ifndef UINT64_H
#define UINT64_H

#include "sysdeps.h"
#include "uintnn.h"
__UINTNN_DECL(64,8)
#define uint64_get uint64_get_lsb
#define uint64_pack uint64_pack_lsb
#define uint64_unpack uint64_unpack_lsb

#ifdef ENDIAN_LSB
#define uint64_get_native uint64_get_lsb
#define uint64_pack_native uint64_pack_lsb
#define uint64_unpack_native uint64_unpack_lsb
#else
#define uint64_get_native uint64_get_msb
#define uint64_pack_native uint64_pack_msb
#define uint64_unpack_native uint64_unpack_msb
#endif

#endif