static void doubleround(uint32_t x[16]) { columnround(x); rowround(x); }
static void doubleround(uint32_t* a){ columnround(a); rowround(a); }