SYSTEM.PTR is a pointer type, managed by the garbage collector, and SYSTEM.ADDRESS is an INTEGER. It is not managed by the garbage collector. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.inf.ethz.ch/pipermail/oberon/attachments/20221101/961ef54f/attachment.html>