p239
这里的 exactly one return 是什么意思？
如果有不同的分支会返回不同的 return 呢？