Real World OCaml, Chapter 3, Continue ... 需要检查