{"ast_node_type":"import","tokens":[{"end":85,"kind":"keyword","start":0,"text":"//"}]}
        // This is not a problem, however: we NEED to use MIRI for reduction anwyway,
        // If this ever changes, this reduction may not always be sound.
        // and it will catch this issue.