Line 110 of '/home/andy/git/other/exp/shootout/timing.sh'
  	echo $((time -p $* >/dev/null) 2>&1) | awk '{print $4 "u " $6 "s " $2 "r"}'
  	                ^~
---
Line 110 of '/home/andy/git/other/exp/shootout/timing.sh'
  	echo $((time -p $* >/dev/null) 2>&1) | awk '{print $4 "u " $6 "s " $2 "r"}'
  	                ^~
---
---
---
---
---
---
---