varints for integers and lengths in AST encoding.