FCC_TAG_DELTATIME
ret |= krb5_store_int16 (sp, FCC_TAG_DELTATIME); /* Tag */
case FCC_TAG_DELTATIME : {
case FCC_TAG_DELTATIME:
k5_buf_add_uint16_be(buf, FCC_TAG_DELTATIME);