User blog comment:Spitemaster/Golfing Large Numbers/@comment-32994025-20190426134739

If you can pass Loader's number(uses CoC, which is from what I read is at least as "strong" as ZFC, don't quote me on that) with array notation, I'd be impressed.