These headers were generated using class-dump