{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"//"}]}
                            // in the state need to be updated.
                            // count_leading_zeroes() does not expect, the current block
                            self.switch_to_block(else_block);