int main(int argc, char *argv[])
{
  const int *i = new int(0);
  delete i;

  return 0;
}