Documentation for PRAGMA