{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"//"}]}
            // bad as we may emit end (unnecessary unreachable block) for unterminating loop, but
            // We should generate the end now, to make sure that it wouldn't change later. It is
            // it should not affect correctness.