Prototype the pointer so that the program has well defined semantics and passes the reference interpreter.
Merge branch 'master' of https://github.com/AbsInt/CompCert
Use cp instead of symbolic links for executables.
Now that we search for compcert.ini from Sys.executable, symbolic links cause compcert.ini not to be found.
Clean up support for common symbols.  Uninitialized "const" symbols can be common.