pushVector method
Implementation
void pushVector(Uint8List bytes, int lenBytes) {
int vecLen = bytes.length;
if (lenBytes == 1) {
pushUint8(vecLen);
} else if (lenBytes == 2) {
pushUint16(vecLen);
} else if (lenBytes == 3) {
pushUint24(vecLen);
} else {
throw ArgumentError('Vector length must be 1, 2, or 3 bytes');
}
pushBytes(bytes);
}