// read size (#bytes)
int size = _read4int( littleEndian, buffer, pos);
// Some ORBs wrongly encode empty string with a size 0
if (size == 0)
{
return "";
}
if (size < 1)
throw new MARSHAL("invalid string size: " + size);