{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"&[ptr,"}]}
                    &[ptr, args[1].immediate()],
                    &[self.val_ty(ptr), self.type_isize()],
                )