Need a new phase to hoist initializers of global variables into a custom main...
Need a new phase to hoist initializers of global variables into a custom main...

FStarLang/kremlin,FStarLang/kremlin,FStarLang/kremlin,FStarLang/kremlin