Revert "better pragma"

This reverts commit 63a0904483f8f3bc441d76b65f2e0712daf355a9.
Revert "require pragma"

This reverts commit 45b1085d940f82fa4b73e35d2e79db8d12c2458b.
ver bump