A dump of random C files I find useful