proper U+1xxyy encoding, byte order, python3