Users

pragma is not used by other distributions.