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

procedure main() {
	var x : int;
	assert x > 0;
}