/// declare var freedom :freedom.FreedomInModuleEnv;