Update Ex_5.1_getint.c