def read_int(file): return IE.binary_read_int_varlen(file)
def read_string(file): """ The reverse of write_string """ length = IE.binary_read_int_varlen(file) return file.read(length)