extern int
main() {
  (void)BonsaiInit();
  
  printf("About to start test\n");
  (void)XR_install_NewUXIOTestImpl(); (void)XR_VerboseCommit();
  (void)XR_run_NewUXIOTestImpl();
  (void)XR_install_CommanderOnStandardStreamsImpl(); (void)XR_VerboseCommit();
  (void)XR_run_CommanderOnStandardStreamsImpl();
  
  exit(0);
}