Hello bearophile,
And just to express my feelings with better clarity, I think pragma(msg) is so buggy and unflexible that it deserves to go killed :-)
How is pragma(msg,) buggy? It does exactly what it's supposed to do. Unless you can point to a deficiency that it has and something that fixes it. I see no reason to consider dumping it.
-- ... <IXOYE><
