csi> (define (myfunc a b)(+ a b))
csi> (trace myfunc)
; tracing myfunc
csi> (myfunc 1 2)
[0] (myfunc 1 2)
[0] myfunc -> 3 
3