Actually, we don't need idx variables...

Because they would only be used as temporary variables anyway