Why is 5 a good magic number in the following comment, is there some guarantee 5 more is always enough?:
/* Believe it or not, a String might have more * collation elements than characters. * So, we handle that case by increasing the int array * by 5 and copying array elements. */
