Krb_internal_publicSourceHardcoded constants that affect the behavior of the Krb library.
Sequence all kerberos functions. We use a global context (in C land) and there are some functions that are not thread safe. We even have to sequence the finalizers because they too call functions that need a context.
Get_init_creds_opts.t stores options for getting credentials from the KDC. It is used to change ticket lifetimes and flags for requested tickets.
sexp_of_t t is "<omitted-in-tests>" during inline tests