{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"//"}]}
            // We should generate the end now, to make sure that it wouldn't change later. It is
        let prev_label = if let Some(label) = label {
            // bad as we may emit end (unnecessary unreachable block) for unterminating loop, but