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