timer returns a triple consisting of the times [cpu, system, wall]. If argument split is present, a sequence is returned whose first element is [cpu, system, wall] and whose second element is the sum of split and the difference between the new and old values of `elapsed.' timer_print prints out a timing summary for splits accumulated by timer.