char c = (char)s[i];
char c = (char) (s[i] & 0xFF);
vDescriptor function(vDescriptor[] args) {    byte[] s = vString.argDescr(args, 0).getBytes();    int stops[] = fTab.stops(args);    vByteBuffer b = new vByteBuffer(s.length + 40);    int col = 1;    for (int i = 0; i < s.length; i++) {	char c = (char)s[i];	switch (c) {	    case '\b':				// backspace		b.append(c);		col--;		break;	    case '\n':				// newline or return	    case '\r':		b.append(c);		col = 1;		break;	    case '\t':				// tab		int target = fTab.nextTab(stops, col);		while (col < target) {		    b.append(' ');		    col++;		}		break;	    default:				// other character		b.append(c);		if (c >= ' ' && c != '\177') {	// if not a control character		    col++;		}		break;	}    }    return b.mkString();}