Recursive subroutines that concatenate/sum to a global 
  variable or a carry-along output variable

Wow...I didn't see this in the article. That is downright boneheaded. Is accumulator-passing style forbidden for a reason? It's a cheap way to make functions tail-recursive---much cheaper than CPS!