{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
    // found in various papers, including one cited at the top of this file).
    // which are helpful for understanding the code (full proofs and such are
    //