The function mix() is implemented (#12754).

Change-Id: I548cf79765bcf49475af6a6584af5a7a14a6e7ed