  TYPE
    rat$corrector_size = 0 .. 7fffffff(16);

