I'm pretty sure this is undefined behavior as such alternative can't be expressed syntactically, definitely not succeed.