. . "Cray employee" . .