Human-friendly header files