@swift-main print(Unicode.Scalar(UInt32(0xD800)))