int main(int argc, char **argv) {
  int *a = 0;
  return *a;
}