krb5_flagnum_to_string
krb5_error_code krb5_flagnum_to_string(int, char **);
ret = krb5_flagnum_to_string(i, &s);
retval = krb5_flagnum_to_string(i, &a[amax++]);