I vaguely remember this is what Ocaml does for one format of its executable.