let extend_local_frame_env ~env = 
  env.local_binding <- [] :: env.local_binding