=== baseline run 1 (unpatched #0 kernel) ===
[1] semval after four +32767 ops = 65532  (SEMVMX=32767, POSIX would have ERANGE'd at op2)
    -> BUG CONFIRMED: semval 65532 > SEMVMX 32767 (no ERANGE)
[2] wait-for-zero child RELEASED after wrap-to-0 (semval logical=65536, u_short=0) -> BUG: spurious release, mutual exclusion broken
RUN_EXIT=0