krb5int_pthread_loaded
# define K5_PTHREADS_LOADED (krb5int_pthread_loaded())
int krb5int_pthread_loaded(void);
if (krb5int_pthread_loaded())
if (krb5int_pthread_loaded())
if (krb5int_pthread_loaded())
if (krb5int_pthread_loaded())
if (krb5int_pthread_loaded())