The text d8730b4cc741, as Debian 1.2 (Rex) shipped it.
PCMCIA card control utility
cardctl(8) on Linux now