Added #pragmas