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

fun main() -> int@ {
  let n = 4;
  let a = new int[n];
  a[0] = 5;
  a[1] = 4;
  a[2] = 4;
  a[3] = 7;
  let i = adjacent_find(a, a + n);
  if (*i != *(i + 1))
    return -1;

  let pred = fun(int x, int y) : x < y;
  let i = adjacent_find(a, a + n, pred);
  if (not pred(*i, *(i + 1)))
    return 1;

  return 0;
}