Added a "#pragma".