ok, I'm pretty sure that this one is the one we want. Unfortunately the other one was an old one, that cmpl_cmp4 was not used anywhere and I had removed it later, and this one has multi_cmp. Sorry for all the confusion.
Changed paths: