void readExceptionId(cdrBufInput input)
void readExceptionId(BufferredCdrInput input)
  void readExceptionId(cdrBufInput input)  {    input.mark(2048);    m_exception_id = input.read_string();    input.reset();  }