Measure size of ArrayList [dev.]