{"ast_node_type":"import","tokens":[{"end":67,"kind":"keyword","start":0,"text":"//"}]}
            // variable may be uninitialized "at exit" because this
            // which stores to the variable; in that case, the
            // call only considers the *unconditional effects* of the