do_R01
do_R01(&a, &b, &c, &d, &e, block);
void do_R01(uint32_t *a, uint32_t *b, uint32_t *c, uint32_t *d, uint32_t *e, CHAR64LONG16 *);