BE_OUT64
BE_OUT64(&hdr->rva, mr->is_mrva);
BE_OUT64(&hdr->wva, mr->is_mrva);
BE_OUT64(paramp, PARAM_VAL(param));