aes128k128d
aes128k128d(key, ctr_preload, aes_out);
aes128k128d(key, ctr_preload, aes_out);
aes128k128d(key, mic_iv, aes_out);
aes128k128d(key, chain_buffer, aes_out);
aes128k128d(key, chain_buffer, aes_out);
aes128k128d(key, chain_buffer, aes_out);
aes128k128d(key, chain_buffer, aes_out);
aes128k128d(key, ctr_preload, aes_out);
aes128k128d(key, ctr_preload, aes_out);
aes128k128d(key, ctr_preload, aes_out);
aes128k128d(key, mic_iv, aes_out);
aes128k128d(key, chain_buffer, aes_out);
aes128k128d(key, chain_buffer, aes_out);
aes128k128d(key, chain_buffer, aes_out);
aes128k128d(key, chain_buffer, aes_out);
aes128k128d(key, ctr_preload, aes_out);
aes128k128d(key, ctr_preload, aes_out);
aes128k128d(key, ctr_preload, aes_out);