  TYPE
    oct$checksum = 0 .. 0ffffffff(16);

