VRP

ValueRange-Propagation for to allow more implicit casts
If you initialize them as void and then use .init, you are looking for trouble.