turns out that uint8_t key [128] is not 128 bits long