#include <stdio.h>

int main() {
  printf("This program is designed to test the cve-bin-tool checker.");
  printf("It outputs a few strings normally associated with kerberos 5-1.15.1.");
  printf("They appear below this line.");
  printf("------------------");
  printf("An unknown option was passed in to kerberos");
  printf("CLIENT kerberos 5-1.15.1");

  return 0;
}
