code: def read_c_string( self ):
          
          rval = []
          while 1:
              ch = self.file.read(1)
              assert len( ch ) == 1, "Unexpected end of file"
              if ch == b'\0':
                  break
              rval.append( ch )
          return b''.join( rval )
docs: Read a zero terminated (C style) string