print_usage
print_usage = TRUE;
if (print_usage)
krb5_boolean print_usage = FALSE;
print_usage = TRUE;
if (print_usage) {
krb5_boolean print_usage = FALSE;
print_usage = TRUE;
if (print_usage)
krb5_boolean print_usage = FALSE;
print_usage = TRUE;
if (print_usage) {
krb5_boolean print_usage = FALSE;
print_usage = TRUE;
if (print_usage) {
krb5_boolean print_usage = FALSE;
krb5_boolean print_usage = FALSE;
print_usage = TRUE;
if (print_usage)
krb5_boolean print_usage = FALSE;
print_usage = TRUE;
if (print_usage) {
krb5_boolean print_usage = FALSE;
print_usage = TRUE;
print_usage = TRUE;
if (print_usage)
static void print_usage(const char *argv0);
print_usage(argv[0]);
print_usage(argv[0]);
print_usage(walker);