> to determine in general if an input program halts. But for a particular input program,

I think we are in violent agreement. This is an example of what I meant by "unlimited for practical purposes, but still there."