  TYPE
    dut$proc_recursion_number = 0 .. 7ffffff(16);
