Used #pragmas