//#Unsafe
/* Date: 2017-08-23
 * Author: denniswoelfing@gmx.de
 */

procedure main() {
	if (*) {
		assert false;
	}
}