Oh :} Sorry :} I briefly glanced at it, and what I saw was, for example:

TYPE ShortInt = __byte__ Integer; Byte = __unsigned__ ShortInt; VAR AVar : Integer; ASmallVar : Byte; BEGIN ASmallVar := BytePtr(AVar)^; END.

Something like that...

What I meant was type casting using custom types, not with built-in or pre-defined types. If it already does this, sorry again :}

...

I think that there should be a compiler directive to generate code, or maybe typecasting should be implemented, in case someone writes data

from

...

32-bit word to prevent it from being read into a 16-bit word. I like Borland Style Type-Casting because it's logical, for example: [...]