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