ssh_gssapi_check_oid
!ssh_gssapi_check_oid(ctx, tok+6, oidl))
if (!ssh_gssapi_check_oid(gssctxt, oidv + 2, oidlen - 2))