Richard Henderson <rth@twiddle.net>


