Init must be run after all the global variables have been set (including ones that frontend init functions might set) since the `Init` functions might depend on them.