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();