update section on definite initialization