# include <stdio.h>

wait3() {
    fprintf(stderr, "wait3() called!!");
    exit(1);
}