I'm sure that that could be indented more readably, but I'm scared of
the awk parser.
		-- Larry Wall in <6849@jpl-devvax.JPL.NASA.GOV>

--
b5183d466f6a9bf854efc3088bda8aae