module dryad/lib-ext/log
strategies

  log-timed(s|msg,level) =
    if <geq>(<get-config> "--statistics", level) then 
      where(times => starttimes)
    ; s 
    ; where(
        <diff-times>(<times>, starttimes)
      ; <concat-strings>[ <align-left>(' ', msg, 27)
                        , " : [user/system] = ["
                        , <self-children-user-time; ticks-to-seconds ; real-to-string(|2)>
                        , "s/"
                        , <self-children-sys-time; ticks-to-seconds ; real-to-string(|2)>
                        , "s]"
                        ]
      ; log(|Info(),<id>)
      )
    else
      s
    end