bounds checks for dumpInt; better dumpString that fixes cubecode to unicode transcoding bug