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