accept(3, 0x7fffc9d87e50, [4096])       = ? ERESTARTSYS (To be restarted)
--- SIGINT (Interrupt) @ 0 (0) ---
rt_sigreturn(0)                         = -1 EINTR (Interrupted system call)
rt_sigprocmask(SIG_BLOCK, [INT], [], 8) = 0
rt_sigaction(SIGINT, NULL, {0x7f2796926bf0, [], SA_RESTORER, 0x7f27965044a0}, 8) = 0
rt_sigprocmask(SIG_UNBLOCK, [INT], NULL, 8) = 0
write(1, "======= BEGIN DESTROY:11977====="..., 36) = 36
write(2, "SV = ", 5)                    = 5
write(2, "IV(0x24c39a8) at 0x24c39b8\n  REF"..., 65) = 65
write(2, "  RV = 0x1ffab78\n", 17)      = 17
write(2, "  ", 2)                       = ? ERESTARTSYS (To be restarted)
--- SIGTERM (Terminated) @ 0 (0) ---
rt_sigreturn(0)                         = -1 EINTR (Interrupted system call)
...