in_seq
krb5_ui_4 in_seq);
chk_heimdal_seqnum(krb5_ui_4 exp_seq, krb5_ui_4 in_seq)
&& (in_seq & 0xFF800000) == 0xFF800000
&& (in_seq & 0x00FFFFFF) == exp_seq)
&& (in_seq & 0xFFFF8000) == 0xFFFF8000
&& (in_seq & 0x0000FFFF) == exp_seq)
&& (in_seq & 0xFFFFFF80) == 0xFFFFFF80
&& (in_seq & 0x000000FF) == exp_seq)
krb5_ui_4 in_seq)
return in_seq == exp_seq;
if ((in_seq & 0xFF800000) == 0xFF800000) {
if ((exp_seq & 0xFF800000) == 0xFF800000 && in_seq == exp_seq)
&& in_seq == exp_seq)
if (chk_heimdal_seqnum(exp_seq, in_seq)) {
if (in_seq == exp_seq) {
switch (in_seq) {
exp_seq = in_seq;
if (s < 0 && in_seq(json))
if (s < 0 && in_seq(json))