function _push(a, i) { a.push(i); } exports._push = _push;