let mk_field_access term field =
    access (Ctype field.ftype) (mk_field_shift term field)