javaIndexToAvailIndex

fun javaIndexToAvailIndex(javaZeroIndex: Int): Int

Convert from a zero-based index into a Java string, which contains only code points in 0..0xFFFF, using two to represent Unicode values in 0x10000-0x10FFFF, into zero-based index into an Avail string, which can contain arbitrary code points.