PRAGMA ENSURES