k5_buf_add_uint16_be
k5_buf_add_uint16_be(buf, tok_type);
k5_buf_add_uint16_be(&buf, mech_der_len);
k5_buf_add_uint16_be(buf, FVNO_BASE + version);
k5_buf_add_uint16_be(buf, fields_len);
k5_buf_add_uint16_be(buf, FCC_TAG_DELTATIME);
k5_buf_add_uint16_be(buf, 8);
k5_buf_add_uint16_be(&buf, 1);
k5_buf_add_uint16_be(&buf, stage);