//BUG: this causes a strange error message
if (true);
else;