The headers here are from GCC 2.8.1 and can be found in the original source for the compiler as well as our repo with modifications made for Paper Mario.