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