check_completion (void *data) {
  if (completion_clean) {
    fprintf (stderr, "%s: test failed: "
             "completion callback invoked multiple times\n", progname);
    exit (EXIT_FAILURE);
  }
  completion_clean = true;
}
check_completion (void *data) {
  if (completion_clean) {
    fprintf (stderr, "%s: test failed: "
             "completion callback invoked multiple times\n", progname);
    exit (EXIT_FAILURE);
  }
  completion_clean = true;
}