push_big_endian
push_big_endian(buffer, v);
push_big_endian(buffer, v);
push_big_endian(v.byte_data, phandle++);
push_big_endian(pv.byte_data, static_cast<uint32_t>(i.prop->offset_of_value(i.val)));
push_big_endian(v.byte_data, (uint16_t)val);
push_big_endian(v.byte_data, (uint32_t)val);
push_big_endian(v.byte_data, (uint64_t)val);