Index: src/OFApplication.h
==================================================================
--- src/OFApplication.h
+++ src/OFApplication.h
@@ -102,11 +102,12 @@
 		    (class_ *)[[class_ alloc] init]);			\
 	}
 # ifdef __cplusplus
 extern "C" {
 # endif
-extern void __getmainargs(int *, char ***, char ***, int, int *);
+extern void __getmainargs(int *_Nonnull, char *_Nonnull *_Nullable *_Nullable,
+    char *_Nonnull *_Nullable *_Nullable, int, int *_Nonnull);
 extern int _CRT_glob;
 # ifdef __cplusplus
 }
 # endif
 #endif