krb5int_mutex_alloc
c = krb5int_mutex_alloc (&krb5_db2_mutex);
extern int KRB5_CALLCONV krb5int_mutex_alloc (k5_mutex_t **);