Is this actually needed? Or is there some way to make sure they are all automatically initialized to zero?