/a(*:a\x{1234}b)/8K abc /a(*:a£b)/8K abc /-- End of testinput12 --/