gssapi_userok
int gssapi_userok(void*, char*);
gssapi_userok,
int gssapi_userok(void*, char*); /* to keep gcc happy */