let get_restore_code env = match env with
    EnvTopLevel _ -> []
  | EnvFrame (n,_,_,_) -> repeat_list [Pop] n