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