Comment by rbanffy

Cray must have been a very funny person.