str9x: explain compiler that a local variable will always be initialized