User blog comment:PsiCubed2/Simple question: Which is bigger?/@comment-5529393-20171214175945

I believe that for any halting TM, second order arithmetic can prove that it halts, basically by tracing the execution path. So X will be BB(10^100), which will be larger than Loader's number.