rtio-nmigen/rtio/sed/output_driver.py