Append length-prefixed binary data */
void pushBytes(List<int> v) { pushVaruint32(v.length); pushArray(v); }