example: remove code using uninitialized variables
validation: require a variable to be initialized before use

Closes #6.