-int __posix_spawnx(pid_t *, const char *,
- int (*)(const char *, char *const *),
+int __execvpe(const char *, char *const *, char *const *);
+
+int __posix_spawnx(pid_t *restrict, const char *restrict,
+ int (*)(const char *, char *const *, char *const *),