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 c = count(a, a + n, 4);
  if (c != 2)
    return -1;

  let c = count(a, a + n, fun(int x) : x == 4);
  if (c != 2)
    return 1;

  return 0;
}