                                                                                                              
  CONST                                                                                                       
    duc$cr_mtr_condition_lower_bit = 48,                                                                      
    duc$cr_upper_order_bit = 63,                                                                              
    duc$cr_user_condition_lower_bit = 48;                                                                     
                                                                                                              
  TYPE                                                                                                        
    dut$cr_mtr_condition_reg_def = ARRAY [duc$cr_mtr_condition_lower_bit .. duc$cr_upper_order_bit] OF        
          string (duc$de_max_definition_length),                                                              
    dut$cr_user_condition_reg_def = ARRAY [duc$cr_user_condition_lower_bit .. duc$cr_upper_order_bit] OF      
          string (duc$de_max_definition_length);                                                              
                                                                                                              
  VAR                                                                                                         
    duv$cr_mtr_condition_reg_def: [STATIC] dut$cr_mtr_condition_reg_def :=                                    
          ['detected uncorrectable error', 'MCR bit unassigned', 'short warning',                             
           'instruction specification error', 'address specification error', '170 exchange request',          
           'access violation', 'environment specification error', 'external interrupt',                       
           'page table search without find', 'system call', 'system interval timer',                          
           'invalid segment/ring number zero', 'outward call/inward return', 'soft error log',                
           'trap exception'],                                                                                 
                                                                                                              
    duv$cr_user_condition_reg_def: [STATIC] dut$cr_user_condition_reg_def :=                                  
          ['privileged instruction fault', 'unimplemented instruction', 'free flag',                          
           'process interval timer', 'inter-ring pop', 'critical frame flag', 'keypoint', 'divide fault',     
           'debug', 'arithmetic overflow', 'exponent overflow', 'exponent underflow',                         
           'floating point loss of significance', 'floating point indefinite',                                
           'arithmetic loss of significance', 'invalid BDP data'];                                            
