If you can do Peano numbers...

Guaranteed termination isn't really if you give me enough rope to implement the Ackermann function.