{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"//"}]}
        // Function calls and ASM may invalidate (nested) derefs. We must handle them carefully.
        }
        // Currently, only preserving derefs for trivial terminators like SwitchInt and Goto.