[chap04] exception handling done
[chap04] add assertion