void main () {
	while (false) {
		assert_not_reached ();
	}
}