Update Ex_5.1_getint.rst