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_int(file, num): file.write(IE.binary_encode_int_varlen(num))
def write_ints(file, nums): for num in nums: file.write(IE.binary_encode_int_varlen(num))