program test_integer_attribute;
type
integer16 = integer attribute (size = 16);
integer32 = integer attribute (size = 32);
integer64 = integer attribute (size = 64);
begin
writeln('sizeof(shortint): ', sizeof(shortint));
writeln('sizeof(integer): ', sizeof(integer));
writeln('sizeof(longint): ', sizeof(longint));
writeln;
writeln('sizeof(integer16): ', sizeof(integer16));
writeln('sizeof(integer32): ', sizeof(integer32));
writeln('sizeof(integer64): ', sizeof(integer64));
end .
cHJvZ3JhbSB0ZXN0X2ludGVnZXJfYXR0cmlidXRlOwp0eXBlCiAgaW50ZWdlcjE2ID0gaW50ZWdlciBhdHRyaWJ1dGUgKHNpemUgPSAxNik7CiAgaW50ZWdlcjMyID0gaW50ZWdlciBhdHRyaWJ1dGUgKHNpemUgPSAzMik7CiAgaW50ZWdlcjY0ID0gaW50ZWdlciBhdHRyaWJ1dGUgKHNpemUgPSA2NCk7CmJlZ2luCiAgd3JpdGVsbignc2l6ZW9mKHNob3J0aW50KTogICAnLCBzaXplb2Yoc2hvcnRpbnQpKTsKICB3cml0ZWxuKCdzaXplb2YoaW50ZWdlcik6ICAgICcsIHNpemVvZihpbnRlZ2VyKSk7CiAgd3JpdGVsbignc2l6ZW9mKGxvbmdpbnQpOiAgICAnLCBzaXplb2YobG9uZ2ludCkpOwogIHdyaXRlbG47CiAgd3JpdGVsbignc2l6ZW9mKGludGVnZXIxNik6ICAnLCBzaXplb2YoaW50ZWdlcjE2KSk7CiAgd3JpdGVsbignc2l6ZW9mKGludGVnZXIzMik6ICAnLCBzaXplb2YoaW50ZWdlcjMyKSk7CiAgd3JpdGVsbignc2l6ZW9mKGludGVnZXI2NCk6ICAnLCBzaXplb2YoaW50ZWdlcjY0KSk7CmVuZCAuCg==