check_store_range
check_store_range(mt, r[4], r[5], xa_mk_value(r[4]), 0);
check_store_range(mt, r[6], r[7], xa_mk_value(r[6]), 0);
check_store_range(mt, r[8], r[9], xa_mk_value(r[8]), 0);
check_store_range(mt, 5, 47, xa_mk_value(47), 0);
check_store_range(mt, r[10], r[11], xa_mk_value(r[10]), 0);
check_store_range(mt, r[10], r[11], xa_mk_value(r[10]), 0);
check_store_range(mt, 6, 18, xa_mk_value(6), 0);
check_store_range(mt, r[12], r[13], xa_mk_value(r[12]), 0);
check_store_range(mt, 353, 361, xa_mk_value(353), 0);
check_store_range(mt, 347, 352, xa_mk_value(347), 0);
check_store_range(mt, 352, 364, NULL, 0);
check_store_range(mt, 351, 363, xa_mk_value(352), 0);
check_store_range(mt, 352, 364, NULL, 0);
check_store_range(mt, 351, 364, xa_mk_value(352), 0);
check_store_range(mt, 362, 367, xa_mk_value(362), 0);
check_store_range(mt, 353, 361, xa_mk_value(353), 0);
check_store_range(mt, val, val2, xa_mk_value(val), 0);
check_store_range(mt, 2400, 2400, xa_mk_value(2400), 0);
check_store_range(mt, 2411, 2411, xa_mk_value(2411), 0);
check_store_range(mt, 2412, 2412, xa_mk_value(2412), 0);
check_store_range(mt, 2396, 2400, xa_mk_value(4052020), 0);
check_store_range(mt, 2402, 2402, xa_mk_value(2402), 0);
check_store_range(mt, val, val2, xa_mk_value(val), 0);
check_store_range(mt, 2422, 2422, xa_mk_value(2422), 0);
check_store_range(mt, 2424, 2424, xa_mk_value(2424), 0);
check_store_range(mt, 2425, 2425, xa_mk_value(2), 0);
check_store_range(mt, 2460, 2470, NULL, 0);
check_store_range(mt, 2435, 2460, xa_mk_value(2435), 0);
check_store_range(mt, 2461, 2470, xa_mk_value(2461), 0);
check_store_range(mt, val, val2, xa_mk_value(val), 0);
check_store_range(mt, val, val2, xa_mk_value(val), 0);
check_store_range(mt, val, val2, xa_mk_value(val), 0);
check_store_range(mt, val, val2, xa_mk_value(val), 0);
check_store_range(mt, val, val2, xa_mk_value(val), 0);
check_store_range(mt, val, val2, xa_mk_value(val), 0);
check_store_range(mt, val, val2, xa_mk_value(val), 0);
check_store_range(mt, 161, 161, xa_mk_value(161), 0);
check_store_range(mt, 162, 162, xa_mk_value(162), 0);
check_store_range(mt, 163, 163, xa_mk_value(163), 0);
check_store_range(mt, 240, 249, NULL, 0);
check_store_range(mt, val, val2, xa_mk_value(val), 0);
check_store_range(mt, 4600, 4959, xa_mk_value(1), 0);
check_store_range(mt, val, val2, xa_mk_value(val), 0);
check_store_range(mt, 4811, 4811, xa_mk_value(4811), 0);
check_store_range(mt, 4812, 4812, xa_mk_value(4812), 0);
check_store_range(mt, 4861, 4861, xa_mk_value(4861), 0);
check_store_range(mt, 4862, 4862, xa_mk_value(4862), 0);
check_store_range(mt, 4842, 4849, NULL, 0);
check_store_range(mt, val, val2, xa_mk_value(val), 0);
check_store_range(mt, 11450 + i, 11450 + i + 1, NULL, 0);
check_store_range(mt, 11770 + i, 11770 + i + 1, NULL, 0);
check_store_range(mt, 11700 + i, 11700 + i + 1, NULL, 0);
check_store_range(mt, val, val2, xa_mk_value(val), 0);
check_store_range(mt, 7800 + i, 7800 + i + 1, NULL, 0);
check_store_range(mt, 8185 + i, 8185 + i + 1,
check_store_range(mt, 8184, 8184, xa_mk_value(8184), 0);
check_store_range(&array);