[portent]

my point is that even running the code doesn't help you answer the question. It runs for a year and doesn't halt... so will it ever halt?