Make MessageRandom max_inc computation in one line