Exercise 3.25: size