Why should you cast the results of .size() to an int?
a) It's unnecessary, as .size() always returns an int
b) To avoid type mismatch errors
c) To save memory
d) Casting is not required for .size()