atom t0 = time()
some_procedure()
printf(1,"%3.2fs\n",time()-t0)
printf(1,"%s\n",{elapsed(time()-t0)})
