  CONST
    rac$max_correction_p_elements = 0ffff(16),
    rac$max_psrs = 7fff(16);


