module ShouldFail where

x = "\§"