if (typeof(gll) == "undefined") {
  gll = { };
}

gll.in_array = function(item, array) {
    for (var i = 0; i < array.length; i++) {
        if (array[i] == item)
            return true;
    }
    return false;
}

gll.array_map = function(f, array) {
  var rv = Array();
  for (i = 0; i < array.length; i++) {
	rv[i] = f(array[i]);
  }
  return rv;
}