verify_session_handle
if (verify_session_handle(hSession, &state) != CKR_OK)
xret = verify_session_handle(s, state); \