User blog comment:Kyodaisuu/English description of Fish numbers/@comment-25418284-20131102173245/@comment-1605058-20131103212143

By the way, about implementing oracle TMs, I once sketched up proof that Xi function can be implemented in FOST. Xi function is far above BB_n for all finite n. You can check it out here.