/usr/lib/mlton/sml/mlnlffi-lib/gen-rtld-flags.c is in mlton-basis 20100608-5.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 | #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;
}
 |