public static extern void fido_credman_rk_free(fido_credman_rk_t *rk);
public static extern int fido_credman_get_dev_rk(fido_dev_t *device, fido_credman_rk_t *rk, string pin);
public static extern UIntPtr fido_credman_rk_count(fido_credman_rk_t *rk);
public static extern fido_cred_t *fido_credman_rk(fido_credman_rk_t *rk, UIntPtr index);