{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"self.inttoptr(value,"}]}
                    self.inttoptr(value, val_type.make_pointer()),
                    self.location,
                    dest_ty,