From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <3485602504612bea7acc49b8b6fa82c7@granite.cias.osakafu-u.ac.jp>
To: 9fans@cse.psu.edu
Subject: Re: [9fans] power pc port
Mime-Version: 1.0
Content-Type: text/plain; charset="ISO-2022-JP"
Content-Transfer-Encoding: 7bit
From: okamoto@granite.cias.osakafu-u.ac.jp
In-Reply-To: <200308051356.h75Duv706529@augusta.math.psu.edu>
MIME-Version: 1.0
Date: Wed,  6 Aug 2003 10:03:59 +0900
Topicbox-Message-UUID: 130f5608-eacc-11e9-9e20-41e7f4b1d025

> Oh, *that*!  We used to play that when I was a kid, too; I never knew it
> had a name.

Me, too.

Kenji