g_seqnum_state
long g_seqstate_init(g_seqnum_state *state_out, uint64_t seqnum,
OM_uint32 g_seqstate_check(g_seqnum_state state, uint64_t seqnum);
void g_seqstate_free(g_seqnum_state state);
void g_seqstate_size(g_seqnum_state state, size_t *sizep);
long g_seqstate_externalize(g_seqnum_state state, unsigned char **buf,
long g_seqstate_internalize(g_seqnum_state *state_out, unsigned char **buf,
g_seqnum_state seqstate;
g_seqstate_free(g_seqnum_state state)
g_seqstate_size(g_seqnum_state state, size_t *sizep)
g_seqstate_externalize(g_seqnum_state state, unsigned char **buf,
g_seqstate_internalize(g_seqnum_state *state_out, unsigned char **buf,
g_seqnum_state state;
g_seqstate_init(g_seqnum_state *state_out, uint64_t seqnum, int do_replay,
g_seqnum_state state;
g_seqstate_check(g_seqnum_state state, uint64_t seqnum)
g_seqnum_state seqstate;
kg_seqstate_externalize(g_seqnum_state arg, krb5_octet **buffer,
kg_seqstate_internalize(g_seqnum_state *argp, krb5_octet **buffer,
kg_seqstate_size(g_seqnum_state arg, size_t *sizep)