Update sec_4.1.c