Ah - sadly not surprising thinking back.  Binaries got stripped to save a
few bytes in those days.

On Mon, Jan 6, 2020 at 11:25 AM Will Senn <will.senn@gmail.com> wrote:

>
>
> Sent from my iPhone
>
> On Jan 6, 2020, at 9:20 AM, Clem Cole <clemc@ccc.com> wrote:
>
>
> I don't have v6 handy, so I can not run a nm on /usr/games/wump but I bet
> if you did and compared it to an nm from V6 I bet they are darned close.
>
> nm wump
> no name list
>
> Bummer.
>
>