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