9413 dprov: this statement may fall through