throw new MARSHAL("invalid string size: " + size);
}
// Some ORBs wrongly encode empty string with a size 0
if (size == 0)
{
return "";
int start = pos + 4;
index += (size + 4);