let field_access e f = D.acc_field (F.unwrap e) f