aes_schedule_mangle_last_enc
storeroundkey(rk32, aes_schedule_mangle_last_enc(rk, sr[i-- % 4]));
storeroundkey(rk32, aes_schedule_mangle_last_enc(rk, sr[i-- % 4].m));