A01-sys-new ok
A02-sys-source-nonnull 1
A03-run-empty-is-continue 1
B01-past-timers-fired 3
B02-past-timer-order cba
B03-run-drained-is-continue 1
B04-now-timer-fired 1
B05-halt-value-propagates 1
B06-after-cancel-fired 1
B07-after-cancel-order b
B08-future-timer-fired 1
B09-future-halt-propagates 1
C00-pipe ok
C01-write ok
C02-read-cb-fired 1
C03-read-event-arg-ok 1
C04-read-fd-arg-ok 1
C05-read-bytes 5
C06-read-halt-propagates 1
C07-write-cb-fired 1
C08-write-halt-propagates 1
C09-cancelled-fd-never-fired 0
E00-write ok
E01-select-new ok
E02-select-cb-calls 1
E03-select-num-is-fd-bound 1
E04-select-rfd-isset 1
E05-select-halt-propagates 1
E06-select-delete ok
E07-drained-bytes 5
F01-readable-mem ok
F02-rd-new ok
F03-rd-read-rc 0
F04-records 3
F05-rec0 alpha
F06-rec1 be
F07-rec2 gamma
F08-rec0-event-is-OK 1
F09-eof-calls 1
F10-errors 0
F11-errmsg-nonnull ok
F12-rd-delete ok
F13-readable-delete-kill ok
F20-pipe ok
F21-write ok
F22-rd-new-fd ok
F23-rd-read-rc 0
F24-records 3
F25-rec0 abc
F26-rec2 ghi
F27-eof-calls 1
F28-errors 0
F29-rd-delete-tidy ok
F30-long-errors 1
F31-long-event-is-LONG 1
F32-long-errmsg-nonnull 1
F33-long-records 0
G01-sys-signal-cb-fired 1
G02-sys-signal-signum-ok 1
G03-raw-sigaction-rc 0
G04-raw-handler-ran 1
G10-signal-adapter-new ok
G11-adapter-source-nonnull 1
G12-adapter-signal-cb-fired 1
G13-signal-adapter-delete ok
H01-hooked-timer-fired 1
H02-custom-malloc-used 1
H03-custom-free-used 1
H04-malloc-free-balanced 1
Z01-sys-delete ok
Z02-end ALL-LIBOOP-DONE