{"ast_node_type":"variable","tokens":[{"end":36,"kind":"keyword","start":0,"text":"let"}]}
            let high = self.high(a);
            let shift_value = self.gcc_sub(b, sixty_four);
            let sign = if a_type.is_signed(self) { high >> sixty_three } else { zero };