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