What's the size of that vector, anyway? · HackerTrans