1long a, c;
2int b;
3int d;
4void ut_dbg_assertion_failed() __attribute__((noreturn));
5long dict_index_is_spatial(int *);
6void btr_block_get_func(char *);
7long btr_page_get_level_low(unsigned char *);
8void btr_validate_level(long p1) {
9  unsigned char *e;
10  while (p1 != btr_page_get_level_low(e)) {
11    if (__builtin_expect(b, 0))
12      ut_dbg_assertion_failed();
13    if (dict_index_is_spatial(&d))
14      while (c != 5535) {
15        __sync_add_and_fetch(&a, 536870912);
16        btr_block_get_func("");
17      }
18  }
19  for (long i; i; ++i)
20    btr_validate_level(-i);
21}
22