src/ch2/ex9: add.
src/ch2/ex10: add.
src/ch2/ex11: add.
src/ch2/ex12: add.
src/ch2/ex13: add.