ICSE14: Revised code, sec1+2, entering sec3+4