A smartcard development library