public static vString String(String s) { int len = s.length(); if (len < 1) { return nullstring; } else if (len == 1) { return strlist[s.charAt(0)]; } else { byte[] b = new byte[len]; for (int i = 0; i < len; i++) b[i] = (byte) s.charAt(i); return new vString(b); }
public static vString String() { return nullstring;
public static vString String(String s) {    int len = s.length();    if (len < 1) {	return nullstring;    } else if (len == 1) {	return strlist[s.charAt(0)];    } else {	byte[] b = new byte[len];	for (int i = 0; i < len; i++)	    b[i] = (byte) s.charAt(i);	return new vString(b);    }}