PRAGMA integrity_check