Right (Array [String "a\12463\12522\12473"])