C_Initialize
 -
 - Checks various locking styles.
 - Checks double initialization.
 - Various mutex functions have checks.

C_Finalize
 - Checks double calls.

C_GetInfo
 - Checks NULL argument.
 - Space padding in CK_INFO strings.
 - Cryptoki version matches that in CK_FUNCTION_LIST table.
 -

C_GetFunctionList
 - Checks NULL arguments.
 - Checks that results match library exported C_GetFunctionList.

C_GetSlotList
 - Calling with NULL arguments.
 - Calling with extra memory.
 - Calling with too little memory.

C_GetSlotInfo
 - Calling with NULL arguments.
 - Padding