def write_table(channel: Channel, prefix: str, table: RoutingTable,
output_folder):
bytes = table.serialize()
filename = "{}-rank{}-channel{}".format(prefix, channel.fpga.rank,
channel.index)
write_file(os.path.join(output_folder, filename), bytes, binary=True)
