fun main() -> int@ {
  let x = new int(3);
  delete x;
  return 0;
}