pub type soc_ecb_ciphertext_t = [u8; 16];