
errordomain TestError {
	FAILED
}

public int main ()
{
	try {
		if (false)
			return 0;
		else
			throw new TestError.FAILED ("throw 1");
	}
	catch (TestError e) {
		throw new TestError.FAILED ("throw 2");
	}
	catch {
		return 5;
	}
	finally {
		stdout.printf ("finally");
	}
}
