anchor.diff:    let filenames, _ = deps_of_our_file filename in
     //reverse stk and ts, since iterate expects them in "first dependency first order"
     iterate filenames (List.rev_append stk []) env (List.rev_append ts []) [] []
  +*)
   
   (***********************************************************************)
   (* Reading queries and writing responses *)
  
positive.code:   // if this is the first chunk, we need to restore the command line options.
    let restore_cmd_line_options, (env, deps) =
      if repl_stack_empty ()
      then true, update_deps st.repl_fname env st.repl_deps
      else false, (env, st.repl_deps) in
  
    if restore_cmd_line_options then
  
negative.code: 
    let env, finish_name_tracking = track_name_changes env in // begin name tracking…
  
    match tc_prims_and_deps env st.prepl_fname with
    | Inl (deps, repl_deps, env) ->
      on_successful_init (finish_name_tracking env) deps repl_deps
    | Inr env ->
      on_failed_init (finish_name_tracking env)
  
  let run_push (st: repl_state) query =
  