So what should be done instead? Wrap all the following code into an `if (se)` clause or something?