you read and int but write a `vint` below? it seems like we need a test for this?