Checked into "devo" temporarily; will probably need to move to another
repository. Feel free to move it, but *please* move the entire
underlying RCS file, not just the HEAD version (unless, of course, you
move it while there's just this version checked in).
