pub const PCMCIA_OPT_HAVE_SOCKET: i32 = 1i32;