void checkpoint()
{
}

int x = 3;
int *p = &x;

int main()
{
  checkpoint();

  return 0;
}