[ros-dev] Place for 'proof' code

[art yerkes]

In the course of auditing isapnp, I wrote a test case that proves that
switch(a) {
default:
	printf("foo\n");
	break;
}

While peculiar, cannot be the product of directly reverse engineering
visual C or gcc output (and likely any other compiler).

Is there a place we want to put such apps?
-- 
Discordant is the murmur at such treading down of lovely things while
god's most lordly gift to man is decency of mind.  Call that man only
blest who has in sweet tranquility brought his life to close.
If only I could act as such, my hope is good.
-- Aeschylus' Agamemnon (translated by H. W. Smyth)