  TYPE
    dut$stack_search_direction = (duc$first_to_trapped, duc$trapped_to_first);
