User blog comment:Vel!/Laver.c/@comment-5150073-20140822085835/@comment-10429372-20140822163325

I think that that is still primitive recursive though.