![[TXT]](../../../../../../.misc/text.gif){kind=small}
457 1983-02-26 close.icn ASCII text file 323 1983-02-26 disp.icn ASCII text file 339 1983-02-26 reverse.icn ASCII text file 68 1983-02-26 shuffle2.icn ASCII text file 370 1983-02-26 swap.icn ASCII text file
