John Luciani wrote a Literate C example of my sneaker program. I have not fully tested it, but I'll take any suggestions people provide.
It's super cool that my friend's dad taught me this stuff.
Reading it now, this might be the simplest C implementation — simpler than Sean's. It doesn't have the idempotent-by-day functionality, on the other hand.
I'm not sure if I've ever generated either the C or the TeX for it.