extern int main() {
(void)SPCR←Init();
(void)XR←install←CedarCore();
(void)XR←install←BasicCedar(); (void)XR←VerboseCommit(); (void)XR←run←BasicCedar();
(void)XR←install←CommanderSysPImpl(); (void)XR←VerboseCommit(); (void)XR←run←CommanderSysPImpl();
(void)XR←install←CommanderPackage(); (void)XR←VerboseCommit(); (void)XR←run←CommanderPackage();
(void)XR←install←CommanderOnStandardStreamsImpl(); (void)XR←VerboseCommit(); (void)XR←run←CommanderOnStandardStreamsImpl();
}