/// /// declare var freedom :freedom.FreedomInCoreEnv;