print() { echo "$1" }