!PROCLAIM and NOTINLINE support