procedure-properties for RTL functions