let env_annot ~pre ~here = {
  e_cur = Here;
  e_pre = pre; e_here = here;
  e_post = None; e_old = None;
}