init
	a:int = int.MAX
	if a > 0
		assert( true )
		return
	assert_not_reached()