encode_database_size
encode_database_size(database_size, &inbuf);
void encode_database_size(uint64_t size, krb5_data *buf);