Or better, use `Xenctrl.with_intf` where we had `with_xc`?