__tag1
int __tag1 * __tag1 __tag2 *p;
volatile const bool skip_tests __tag1 __tag2 = false;
int b __tag1 __tag2;
} __tag1 __tag2;
} value_t __tag1 __tag2;
static __noinline __tag1 __tag2 int foo(int x __tag1 __tag2)