  We prove functional, distributional limit theorems for the occupation times
of pointwise dual ergodic transformations at "tied-down" times immediately
after "excursions". The limiting processes are tied down Mittag-Leffler
processes and the transformations involved exhibit functional tied-down renewal
mixing properties strengthening those of [AS19].
