def read_int(file): return IE.binary_read_int_varlen(file)
def write_int(file, num): file.write(IE.binary_encode_int_varlen(num))
def read_string(file): """ The reverse of write_string """ length = IE.binary_read_int_varlen(file) return file.read(length)
def write_string(file,str): """ Write a Pascal-encoded string of length of up to 2^16 """ file.write(IE.binary_encode_int_varlen(len(str))) file.write(str)
def write_ints(file, nums):
for num in nums:
file.write(IE.binary_encode_int_varlen(num))
def read_ints(file): return IE.binary_read_int_varlen_list(file)
