autogenerated headers for e21db3e4ef38be545b468f9ade06007ec632a941