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