idx2str does not work as expected

[epmikida]

Printing out multiple indices at once seems to only use the value of the last index. For example, if start is 0, and end is 1:

CkPrintf("%s\n", idx2str(start)); prints out '0' CkPrintf("%s %s\n", idx2str(start), idx2str(end)); prints out '1 1'