finish chap10 in IOCAML: I/O
finish chap10 in IOCAML: I/O