An accidentally fast variable-length integer encoding