add PRAGMA