A few simple and useful headers in C