gss_krb5int_rotate_left
int gss_krb5int_rotate_left (void *ptr, size_t bufsiz, size_t rc);
if (gss_krb5int_rotate_left(outbuf+16, bufsize-16,
if (gss_krb5int_rotate_left(outbuf+16, bufsize-16,
if (!gss_krb5int_rotate_left((unsigned char *)stream->buffer.value + 16,