I don't have any opinion on this (I didn't even know this predefined version existed until I did this). I was just expanding how it currently worked. You can't even `||` versions (for reasons I still haven't fully grasped) so that's definitely a problem. Maybe define `D_BoundsCheckSafe` for case `2` as well?