put_uint32
put_uint32((be_uint32_t *)r->locoff_l, (adr) - reladdr); \
put_uint32(&b1, get_uint32(&b1) - loadadr1); \
put_uint32(&xhdr.x_entry, execoff);
put_uint32(&xhdr.x_text, textsize + paddingsize);
put_uint32(&xhdr.x_data, inf1.data_size);
put_uint32(&xhdr.x_bss, inf1.bss_size);
void put_uint32(be_uint32_t *be, u_int32_t v);
put_uint32(&xhdr.x_rsize, relsize);
put_uint32(&be32x2[1], 0xa9876543);