Need help with int[]

[microshine]

I need help with int[]. I write pkcs11 wrapper using your lib ffi. I have C code:

#define CK_PTR *;
typedef CK_ULONG          CK_MECHANISM_TYPE;
typedef CK_MECHANISM_TYPE CK_PTR CK_MECHANISM_TYPE_PTR;

CK_PKCS11_FUNCTION_INFO(C_GetMechanismList)
#ifdef CK_NEED_ARG_LIST
(
  CK_SLOT_ID            slotID,          /* ID of token's slot */
  CK_MECHANISM_TYPE_PTR pMechanismList,  /* gets mech. array */
  CK_ULONG_PTR          pulCount         /* gets # of mechs. */
);
#endif

How can I get data from C_GetMechanismList using ffi and ref-array?