set "PATH=a;"
echo "PATH=$PATH"
set F1='ls -l\012'         # F1 executes a 'ls -l'
set F2='df -t\012'         # F2 executes a 'df -t'
set F3='set ECHO=off\012'  # F3 turns off echoing
set F4='set ECHO=on\012'   # F4 turns on echoing
set ECHO=on