let
mk_field_shift term field =
Why_ops
.
M3
.shift_offset term (field_offset field)