[pjmlp]

Except execve() isn't part of public APIs, people keep mixing up ISO C with POSIX, and only the former is a public NDK API.