function arrayConcatElement(a1, element) {
    var result = a1.slice();
    result.push(element);
    return result;
}
Create a new array consistent of a1 plus an additional element. Avoids the unnecessary array allocation when using `a1.concat([element])`.