public char postIncrString ( int num ) {
            char c = getChar();
            index += num;
            return c;
        }
Only works with non-negative numbers
main/src/main/java/cgeo/geocaching/wherigo/kahlua/stdlib/StringLib.java