checking of overflows, variants etc.; check that strings converted to CStrings don't contain #0 characters; initialize strings (length field), pointers, ordinal values and reals(?) with invalid values if checking is on
warn about using uninitialized variables (kevin2.pas), especially for strings, also for for-loop counters after the loop (EP 6.8.1)
smart linking (split foo.s, as foo*.s, ar foo*.o or split foo.o)
overloading of unary operators (+, -, not) ???
function overloading (in units and static methods?? – with different parameters, override or overload?); linker name?? (perhaps: first occurrence of a procedure with normal name (=> all non-overloaded procedures get normal names)?); cf. Delphi methods without override