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

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

  let i = find(a, a + n, fun(int x) : x == 9);
  if (i != a + n)
    return 1;

  return 0;
}