{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"//"}]}
                // return 0 as success
                self.write_memory(set, &[1])?;
                self.write_memory_using_ref(destination.addr, destination.size)?.fill(0);