{- This test verifies that an implementation correctly rejects non-UTF8
   characters, such as this one: "í €"
-}
1