Update 5-13.c