Unterprogramme, die dafür geeignet sein sollen, daß ein Pointer darauf erlaubt ist, müssen dasselbe Parametertyp-Profil haben wie das bei der Spezifikation des Pointers angegebene Profil (vgl. 2.4.2). Ein einfaches Beispiel ist
type Integrand is access function(X: Float_Type) return Float_Type;