39     assert_eq!(memory0.size(&store), 2);  in main()
40     assert_eq!(memory0.data_size(&store), 0x20000);  in main()
41     assert_eq!(memory0.data_mut(&mut store)[0], 0);  in main()
42     assert_eq!(memory0.data_mut(&mut store)[0x1000], 1);  in main()
43     assert_eq!(memory0.data_mut(&mut store)[0x1001], 2);  in main()
44     assert_eq!(memory0.data_mut(&mut store)[0x1002], 3);  in main()
45     assert_eq!(memory0.data_mut(&mut store)[0x1003], 4);  in main()
47     assert_eq!(size0.call(&mut store, ())?, 2);  in main()
48     assert_eq!(load0.call(&mut store, 0)?, 0);  in main()
49     assert_eq!(load0.call(&mut store, 0x1000)?, 1);  in main()
50     assert_eq!(load0.call(&mut store, 0x1001)?, 2);  in main()
51     assert_eq!(load0.call(&mut store, 0x1002)?, 3);  in main()
52     assert_eq!(load0.call(&mut store, 0x1003)?, 4);  in main()
53     assert_eq!(load0.call(&mut store, 0x1ffff)?, 0);  in main()
56     assert_eq!(memory1.size(&store), 2);  in main()
57     assert_eq!(memory1.data_size(&store), 0x20000);  in main()
58     assert_eq!(memory1.data_mut(&mut store)[0], 0);  in main()
59     assert_eq!(memory1.data_mut(&mut store)[0x1000], 4);  in main()
60     assert_eq!(memory1.data_mut(&mut store)[0x1001], 3);  in main()
61     assert_eq!(memory1.data_mut(&mut store)[0x1002], 2);  in main()
62     assert_eq!(memory1.data_mut(&mut store)[0x1003], 1);  in main()
64     assert_eq!(size1.call(&mut store, ())?, 2);  in main()
65     assert_eq!(load1.call(&mut store, 0)?, 0);  in main()
66     assert_eq!(load1.call(&mut store, 0x1000)?, 4);  in main()
67     assert_eq!(load1.call(&mut store, 0x1001)?, 3);  in main()
68     assert_eq!(load1.call(&mut store, 0x1002)?, 2);  in main()
69     assert_eq!(load1.call(&mut store, 0x1003)?, 1);  in main()
70     assert_eq!(load1.call(&mut store, 0x1ffff)?, 0);  in main()
79     assert_eq!(memory0.data(&store)[0x1002], 6);  in main()
80     assert_eq!(memory0.data(&store)[0x1003], 5);  in main()
81     assert_eq!(load0.call(&mut store, 0x1002)?, 6);  in main()
82     assert_eq!(load0.call(&mut store, 0x1003)?, 5);  in main()
89     assert_eq!(memory1.data(&store)[0x1002], 8);  in main()
90     assert_eq!(memory1.data(&store)[0x1003], 7);  in main()
91     assert_eq!(load1.call(&mut store, 0x1002)?, 8);  in main()
92     assert_eq!(load1.call(&mut store, 0x1003)?, 7);  in main()
96     assert_eq!(memory0.size(&store), 3);  in main()
97     assert_eq!(memory0.data_size(&store), 0x30000);  in main()
99     assert_eq!(load0.call(&mut store, 0x20000)?, 0);  in main()
108     assert_eq!(memory1.size(&store), 4);  in main()
109     assert_eq!(memory1.data_size(&store), 0x40000);  in main()
111     assert_eq!(load1.call(&mut store, 0x30000)?, 0);  in main()