- a program run by HAC can exchange data with the
programm running HAC, through dynamically registered call-backs
- see package HAC_Sys.Interfacing and demos:
- the compiler checks that all choices in a CASE statement
- the compiler performs more compile-time range checks and
optimizes away useless run-time checks when it's safe to do so.