Well, I just used `goto Lsafe` to skip all further checks since this cast has nothing to do with real casting. Creating a new label may have been a better choice.