void fpe_skip32(unsigned char key[10], unsigned char buf[4], int encrypt);