Reply to Denis, >> I'd be fine depricating /**/. >> > You mean, deprecating /++/? > No, I mean exactly what I said. /**/ has well defined semantics, changing it will cause problems that replacing it will not.