Links for cocotbext-interface