-int posix_spawn(pid_t *, const char *, const posix_spawn_file_actions_t *,
- const posix_spawnattr_t *, char **, char **);
-int posix_spawnp(pid_t *, const char *, const posix_spawn_file_actions_t *,
- const posix_spawnattr_t *, char **, char **);
+int posix_spawn(pid_t *__restrict, const char *__restrict, const posix_spawn_file_actions_t *,
+ const posix_spawnattr_t *__restrict, char *const *__restrict, char *const *__restrict);
+int posix_spawnp(pid_t *__restrict, const char *__restrict, const posix_spawn_file_actions_t *,
+ const posix_spawnattr_t *__restrict, char *const *__restrict, char *const *__restrict);