printf "time /dev/null:\n"
time ${THIS_SH} /dev/null

printf "\nPOSIX: time -p /dev/null:\n"
time -p ${THIS_SH} /dev/null

printf "\nBSD time /dev/null:\n"
TIMEFORMAT=$'\t%1R real\t%1U user\t%1S sys'
time ${THIS_SH} /dev/null

printf "\nSYSV time /dev/null:\n"
TIMEFORMAT=$'\nreal\t%1R\nuser\t%1U\nsys\t%1S'
time ${THIS_SH} /dev/null

printf "\nksh time /dev/null:\n"
TIMEFORMAT=$'\nreal\t%2lR\nuser\t%2lU\nsys\t%2lS'
time ${THIS_SH} /dev/null

printf "\ntimes:\n"
times

exit 0