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