use "sequence_queries.g";
use "iterator_models.g";

fun main() -> int@ {
  let n = 8;
  let p1 = new int[n];
  let p2 = @int*(p1);
  advance(p1, 4);
  if (p1 == p2 + 4)
    return 0;
  else
    return -1;
}