{"ast_node_type":"variable","tokens":[{"end":67,"kind":"keyword","start":0,"text":"let"}]}
                let right_shift = self.gcc_lshr(value, sixty_four);
                let sixty_four = self.gcc_int(typ, 64);
                let high = self.gcc_int_cast(right_shift, self.u64_type);