let env_post_f ~pre ~post = {
  e_cur = Here;
  e_pre =  pre; e_old = Some pre;
  e_post = Some post; e_here = post;
}