__data int * * __code bar = 0;
extern void dump(__data int * *v);

int main(void) {
  dump(bar);
  return 0;
}