{"ast_node_type":"variable","tokens":[{"end":67,"kind":"keyword","start":0,"text":"let"}]}
                let high = self.gcc_int_cast(shift, self.u64_type);
                let shift = self.gcc_lshr(arg, sixty_four);
                let low = self.gcc_int_cast(arg, self.u64_type);