#include "krbprgma.h"
#include "kdcdbg_s.c"