;; -*-theme-d-*-

;; Copyright (C) 2008-2013 Tommi Höynälänmaa
;; Distributed under GNU Lesser General Public License version 3,
;; see file doc/LGPL-3.

(define-body (standard-library statprof)

  (define statprof-start
    (unchecked-prim-proc statprof-start () <none> nonpure))

  (define statprof-stop
    (unchecked-prim-proc statprof-stop () <none> nonpure))

  (define statprof-reset
    (unchecked-prim-proc statprof-reset (<integer> <integer> <boolean>)
			 <none> nonpure))

  (define statprof-display
    (unchecked-prim-proc statprof-display () <none> nonpure)))
