merlijn@abu ~/xonotic $ if ! { time -p true; }; then msg "Cannot do timing in this shell"; return 1; fi
real 0.00
user 0.00
sys 0.00