FIX: setup_dut()