in src/main/java/org/jetbrains/jetCheck/DataSerializer.java [37:47]
static void writeINT(ByteArrayOutputStream record, int val) {
if (0 > val || val >= 192) {
record.write(192 + (val & 0x3F));
val >>>= 6;
while (val >= 128) {
record.write((val & 0x7F) | 0x80);
val >>>= 7;
}
}
record.write(val);
}