12     let offset = input.offset;  in check_memory_accesses()  localVariable
14     let wasm = build_wasm(&input.image, offset);  in check_memory_accesses()
16     let offset = u64::from(offset);  in check_memory_accesses()  localVariable
82         if let Some(n) = len.checked_sub(8).and_then(|n| n.checked_sub(offset)) {  in check_memory_accesses()
86                 assert!(addr + offset + 1 <= len);  in check_memory_accesses()
95                 let addr = n + offset + i;  in check_memory_accesses()
105                 let addr = n + offset + i;  in check_memory_accesses()
114             assert!(n + offset + 8 <= len);  in check_memory_accesses()
125                 assert!(addr + offset + 2 > len);  in check_memory_accesses()
135                 assert!(addr + offset + 4 > len);  in check_memory_accesses()
145                 assert!(addr + offset + 8 > len);  in check_memory_accesses()
156         if let Some(n) = len.checked_sub(offset) {  in check_memory_accesses()
159                 assert!(addr + offset + 1 > len);  in check_memory_accesses()
166                 assert!(addr + offset + 2 > len);  in check_memory_accesses()
173                 assert!(addr + offset + 4 > len);  in check_memory_accesses()
180                 assert!(addr + offset + 8 > len);  in check_memory_accesses()
258 fn build_wasm(image: &HeapImage, offset: u32) -> Vec<u8> {  in build_wasm()
313                     offset: u64::from(offset),  in build_wasm()
329                     offset: u64::from(offset),  in build_wasm()
344                 offset: u64::from(offset),  in build_wasm()
358                 offset: u64::from(offset),  in build_wasm()
370         for (offset, data) in image.segments.iter() {  in build_wasm()
374                     offset: &if image.memory64 {  in build_wasm()
375                         wasm_encoder::ConstExpr::i64_const(*offset as i64)  in build_wasm()
377                         wasm_encoder::ConstExpr::i32_const(*offset as i32)  in build_wasm()