{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"//"}]}
            // initial move:
            // Non-arguments start out deinitialised; we simulate this with an
            facts.path_moved_at_base.push((path, fn_entry_start));