HKDF 32*2 is enough.