> Alternatively, I believe that you can just have at the end of your sources > > val _ = f (CommandLine.name (), CommandLine.arguments ()) > > where f is the function you were passing to exportFn. The problem with this alternative is that I want lrtl to use a two-stage computation. The first run builds a binary that is then run repeatedly. The first should really be called `mklrtl'. N