svoid test_compress30BitUint() {
  repeat 100000 {
    int i = random(0x40000000);
    byte[] b = compress30BitUint(i);
    assertEquals(i, readCompressed30BitUint(byteArrayToIF0_Byte(b)));
  }
}