let env_at frame lab =
    try List.assoc lab !frame
    with Not_found ->
      let env_lab = create () in
      frame := (lab,env_lab)::!frame ; env_lab