Another variable-length integer encoding