Add definition of echo_e