server it is contacting, also known as SNI
去年底亮相的小米 17 Ultra by Leica，最近在海外悄悄换了副面孔。有爆料显示，在海外的小米之家中出现了一台特别的小米 17 Ultra by Leica，其机身原本横置的可乐表改为竖向放置，同时，使用这台手机拍摄的照片中，水印显示的机型为「LEITZPHONE powered by Xiaomi」。，更多细节参见体育直播
ВсеОбществоПолитикаПроисшествияРегионыМосква69-я параллельМоя страна，详情可参考电影
These first two commands ensure that there is no prompt for single and multi-line GHCi inputs. That way we needn’t worry about parsing out the ghci prompt or any such visual markers.，这一点在PDF资料中也有详细论述