[shric]

This isn't correct, section 6.5.5 states merely that "The operands of the % operator shall have integer type."

[foldr]

Ah, my bad, it seems this was the case for K&R C but the behavior was since standardized.