/* Public domain. */

/* sysdep: -waitpid */