function echo() added in module gromov.
function echo() added in module gromov.