k has the single steping facility with \s which is useful.
What would be neat is a trace facility. Something like this:
$ gsi
> (load "chud.scm") ; chudnovsky brother's algorithm for n digits of pi
> (trace ch-split) ; trace functions ch-split & pi
> (trace pi)
> (pi 30)
| > (pi 30)
| | > (ch-split 0 4)
| | | > (ch-split 0 2)
| | | | > (ch-split 0 1)
| | | | (5 10939058860032000 -
2793657715)
| | | | > (ch-split 1 2)
| | | | (231 87512470880256000 254994357387)
| | | (1155 957304069945956794936328192000000 -244479889433338740603253065)
| | | > (ch-split 2 4)
| | | | > (ch-split 2 3)
| | | | (1105 295354589220864000 -1822158051155)
| | | | > (ch-split 3 4)
| | | | (3059 700099767042048000 6711910799755)
| | | (3380195 206777679108326667706246889472000000 -1275692427127400265958...
| | (3904125225 19794911378438016137008628772369918382418040989294159462400...
| 3141592653589793238462643383279
3141592653589793238462643383279