{"ast_node_type":"other","tokens":[{"end":6,"kind":"keyword","start":0,"text":"//"}]}
    //
    //   USE: stuff that uses *b
    // First, we recall that DEF is checked to dominate USE. Now imagine for the sake of