iOS Objective-C headers as derived from runtime introspection