+--
+-- Examples:
+--
+-- >>> let jr = (replicate 64 'a') ++ "@" ++ (replicate 255 'x')
+-- >>> let just_right = BS.pack jr
+-- >>> validate_length just_right
+-- True
+-- >>> let too_long = BS.pack (jr ++ "x")
+-- >>> validate_length too_long
+-- False
+--