use "basic_models.g";

fun inc<T> where { Regular<T*> }
(T* p) -> T*@ { 
  let p = @T*(p);
  if (p == p) 
    return ++p; 
  else
    return --p;
}

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