Added `Trustworthy` pragma