PCMCIA memory cards