But this has nothing to do with the halting problem. You can run the code, you don't need to do this theoretically.