revert pragma test