packVarint assertion