(But array is actually 3x slower, so probably not worth it!)