ILP decoder: ".reduce(plus)" was a bad idea, speed-wise