This was the result I got in Python34:
>>> ascii('TEST\123\xd4\u1234\U00010000')
"'TESTS\\xd4\\u1234\\U00010000'"

Is our expected outcome correct?