[wizofaus]

I guess I wasn't assuming you needed to determine if it would halt for any possible (but finite) input. But fair enough.