Non-primitive recursiveness in real world nonmathematical software?
Many useful pieces of software have "unbounded" loops that can't be trivially bounded. Any program with a user interface that waits for input, for example. You'd probably also be surprised by the number of software that contains an interpreter of some sorts: your browser, your PDF reader, the software on your printer...