Procedure types

Modula-2 procedure type values are stored as pointers: