{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"then_block.add_assignment("}]}
            then_block.add_assignment(
            let int_max = self.gcc_lshr(uint_max, self.gcc_int(unsigned_type, 1));
                self.location,