an informal, intuitive, and interesting set of header files, aiming to foster an abstract conceptualization of the PE/COFF file format