Comment by afdbcreid

Since undefined behavior is impossible, that means there are only two options.