{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"//"}]}
    // Given a sequence like this:
    // Next, we try to linearize the control flow. What the does that mean?
    // Goto(bb22)