''

def readString(self):

    b = []
    while (not self.EOF()):
        c = self.read(1)
        if (c == NULL_TERMINATOR):
            break
        b.append(c)
    s = NULL_BYTES.join(b)
    return s.decode('utf-8')
