linux_to_bsd_waitopts
linux_to_bsd_waitopts(args->options, &options);
void linux_to_bsd_waitopts(int options, int *bsdopts);