Codes while reading "How to Design Programs"