Print timing info in jsshell