store_32_be
store_32_be((krb5_ui_4) *val, cbuf);
#define STORE32_INT(ptr, val) store_32_be(val, ptr)
store_32_be(dispName.length, buf);