varint: check zero write + byte lengths