aes_schedule_mangle_dec
mrk = aes_schedule_mangle_dec(rk, sr[i-- % 4]);
mrk = aes_schedule_mangle_dec(rk, sr[i-- % 4]);
mrk = aes_schedule_mangle_dec(rk, sr[i-- % 4]);
mrk = aes_schedule_mangle_dec(rk, sr[i-- % 4]);
mrk = aes_schedule_mangle_dec(rk, sr[i-- % 4]);
mrk = aes_schedule_mangle_dec(rk, sr[i-- % 4]);
mrk = aes_schedule_mangle_dec(rk, sr[i-- % 4].m);
mrk = aes_schedule_mangle_dec(rk, sr[i-- % 4].m);
mrk = aes_schedule_mangle_dec(rk, sr[i-- % 4].m);
mrk = aes_schedule_mangle_dec(rk, sr[i-- % 4].m);
mrk = aes_schedule_mangle_dec(rk, sr[i-- % 4].m);
mrk = aes_schedule_mangle_dec(rk, sr[i-- % 4].m);