who exec date echo This echo builtin is never executed.