Re (2): SML/NJ has a similar scheme to dump a heap image to get an executable.