function echo_eval {
    if [ "${1}" ] ; then
        echo "${@}"
        eval "${@}"
    fi
}

function nop {
    true
}

function pause {
    echo -n 'Press Enter: '
    read
}