include stdint for aes_ecb