>Programmable guillotines
Librarian anon here. "guillotines" are used in printing – to cut huge stacks of paper. Here's a photo of one (not the exact model in the Leaf bid)
Not fit-for-purpose for head / body separating.
http://www.servaprintfinishing.com/en/cutting/hydraulic/grafcut-g52hg73h.html