This file is indexed.

/usr/lib/mlton/sml/mlnlffi-lib/gen-rtld-flags.c is in mlton-basis 20130715-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
#include <stdio.h>
#include <dlfcn.h>

#ifndef RTLD_LOCAL
#define RTLD_LOCAL 0
#endif

int main(int argc, char *argv[])
{
  printf("structure RTLDFlags = struct\n");
  printf("   val RTLD_GLOBAL = 0wx%x\n", RTLD_GLOBAL);
  printf("   val RTLD_LAZY = 0wx%x\n", RTLD_LAZY);
  printf("   val RTLD_LOCAL = 0wx%x\n", RTLD_LOCAL);
  printf("   val RTLD_NOW = 0wx%x\n", RTLD_NOW);
  printf("end\n");

  return 0;
}