let reverse cmp a b = -(cmp a b)