init
	a:int = -1
	if a < 0
		assert( true )
		return
	assert_not_reached()