let env_at e label = {
    formals_in_pre = e.formals_in_pre ;
    frame = e.frame ;
    label = label ;
    lvars = e.lvars ;
    xvars = e.xvars ;
    laddr = e.laddr;
  }