On Wed, Mar 07, 2018 at 03:34:24PM -0500, Waiman Long wrote:> > % cat msgmni_range> [0, 32768]All that sounds promising but I think you are jumping a fewsteps ahead of what needs to get done. Let's first sort out thefirst series well. Luis