obsolete: see ArrayLike.js