__do_des
__do_des(rawl, rawr, &l_out, &r_out, count, saltbits, ekey);
__do_des(0, 0, &r0, &r1, count, setup_salt(salt), &ekey);
void __do_des(uint32_t, uint32_t, uint32_t *, uint32_t *,
__do_des(b[0], b[1], b, b + 1, 1, 0, key);