Ok.  Should I just remove the pragma completely?   I don't imagine it will have any effect if it is commented, although it seems to be the only "mark" in the entire codebase so it seems unlikely that anyone is actually using it I guess.