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

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