S7C2: hashing with CBC-MAC.