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