#ifndef RINHASH_DEVICE_CUH
#define RINHASH_DEVICE_CUH



#include <stdint.h>

#endif // RINHASH_DEVICE_CUH