I programmed ATMs some 10 years ago, and the way they worked was that retracted cash would not be recycled, but stored and tagged with the withdrawing account,

I programmed ATMs some 10 years ago, and the way they worked was that retracted cash would not be recycled, but stored and tagged with the withdrawing account, which would get credited only after a manual counting (or maybe immediately, but counted and confirmed afterwards)