Symbol: k5_buf_add_uint32_be