{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"//"}]}
        // If this ever changes, this reduction may not always be sound.
        // This *should* be the second-last arm of the match, as per the paper(the remaining blocks are decoys).
        // This is not a problem, however: we NEED to use MIRI for reduction anwyway,