let env_pre_f ~init = {
  e_cur = Here;
  e_pre = init; e_here = init;
  e_post = None; e_old = None;
}