···77 let rk_s rounds = (rounds + 1) * 16
8899 let derive_e key rk rounds =
1010- let ekey, _rounds = Aes_pure.expand_key key in
1111- assert (_rounds = rounds);
1010+ let ekey, nr = Aes_pure.expand_key key in
1111+ assert (nr = rounds);
1212 (* Store Int32 round keys as big-endian bytes in rk *)
1313 for i = 0 to Array.length ekey - 1 do
1414 let w = ekey.(i) in