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