define MIXER =
  |[ a0, a1, a, b0, b1 ::
     pref *[ ar?; a0; a1; aa! ]
  || pref *[ br?; b0; b1; ba! ]
  || pref *[ (a0 | b0); a ]
  || pref *[ a; cr!; ca?; (a1 | b1) ]
  ]|
end