Ada: Unix time measurement command

The Unix command time produces a global analysis of the running time of an executable file. Here is an example:

  $ time a.out
    real    0m1.43s
    user    0m0.08s
    sys     0m0.16s