get_env_user 73 source4/heimdal/lib/krb5/get_default_principal.c user = get_env_user(); get_env_user 83 source4/heimdal/lib/krb5/get_default_principal.c user = get_env_user();