void ctr_inc(unsigned char *);