of PCMCIA type