vdupq_n_u8
prk ^= vextq_u8(vdupq_n_u8(0), prk, 12);
prk ^= vextq_u8(vdupq_n_u8(0), prk, 8);
prk ^= vextq_u8(*rcon_rot, vdupq_n_u8(0), 15);
uint8x16_t y = vdupq_n_u8(0);
uint8x16_t y = vdupq_n_u8(0);