Handouts of ICS_se12, based on CSAPP:2e