src/ch5/ex12: wip.
src/ch5/ex12: implement.