(And you could just initialize it to 0.)