This allows to ignore-deprecations as follows: @pragma push ignore-deprecations print r$deprecated; @pragma pop A bit of infrastructure is put in place for the push and pop, but nothing overly generalized for future pragmas.
