sub get_nth_char($i, $invlist, $index) {
  return undef if $i >= $index[-1];
  my ($min, $max, $mid)= (0, $#$index);
  while (1) {
    $mid= ($min+$max) >> 1;
    if ($i > $index[$mid]) { $min= $mid+1 }
    elsif ($mid > 0 && $i < $index[$mid-1]) { $max= $mid-1 }
    else { return $invlist[$mid*2] + ($i - ($mid > 0? $index[$mid-1] : 0)) }
  }
}