> >main() {}
> >
> >it's 16ms normally and 8ms when using static link
>
> Is that user+system time for the program, or wall clock time?

wall clock on completely idle system. i did script

./nothing;date;x=0;while [ $x != 1000 ];do ./nothing;x=$((x+1));done;date

it gives 16+-1 second.

rerunning this script without ./nothing took <<1 s

> Was the program already in the buffer cache or had it to be
> fetched from the platters?

already from buffer cache (started first time before date)