#ifndef CONSTTIME_CMP_H
#define CONSTTIME_CMP_H
int consttime_cmp_32(const unsigned char *x, const unsigned char *y);
#endif