{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"if"}]}
        if name.starts_with("load_") {
            Interval::new(arg0_addr, self.size_of_sized(ty, locals, "atomic intrinsic type arg")?);
            return destination.write_from_interval(self, arg0_interval);