(define quot
      (lambda (n d)
        (if (< n d)
            0
            (+ 1 (quot (- n d) d)))))

    > (trace quot)
    (quot)
    > (quot 11 3)
    |(quot 11 3)
    | (quot 8 3)
    | |(quot 5 3)
    | | (quot 2 3)
    | | 0
    | |1
    | 2
    |3
    3
    >