autogenerated headers for d42ab930a74b85a82c5b375ffe566d5d19ebbbef