即将离开 HelloWorld

您即将离开 HelloWorld，请注意您的帐号和财产安全。

http://research.microsoft.com/en-us/um/people/lamport/pubs/chandy.pdf