Another small satconfig optimalizations