in core/src/main/java/com/jetbrains/sa/jdwp/PacketStream.java [141:155]
void writeID(int size, long data) {
switch (size) {
case 8:
writeLong(data);
break;
case 4:
writeInt((int) data);
break;
case 2:
writeShort((short) data);
break;
default:
throw new UnsupportedOperationException("JDWP: ID size not supported: " + size);
}
}