...really does nothing, but functions as a place holder for IBM MVS/zOS operating system to do file allocations, within MVSJCL scripts, so it is not a good example or benchmark in this case. as for the halting problem: you can not write a universal...
http://www.schneier.com/blog/archives/2009/10/proving_a_compu.html