User blog comment:Vel!/Laver.c/@comment-5150073-20140822085835/@comment-1605058-20140822174630

FBZ's function is not primitively recursive. There is a non-primitively-recursive function which takes values 0 and 1.