// InferredExternC.h