//takes a while to execute, but should work if the
//generated DISM code manages memory correctly

main {
  var nat i;
  i = 0;
  while (!(i>66000)) {
    i = i + 1;
  };
  printNat(0);
}