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();
}