fun main() -> int@ {
  let a = new int[1];
  a[0] = 1;
  let x = @int(a[0]);
  delete a;
  return x - 1;
}