User blog comment:Wythagoras/SuperJedi's X function/@comment-10429372-20150430185745

I also suspect that the function is at exactly BB(n) growth rate, because BB and C are same growth rate, and it shouldn't be hard to make a C program that implents a X function definition.