5177 __libc_start_main(0x400b50, 1, 0x7fff842dc358, 0x4013f0, 0x4013e0 5177 strcmp("./rng-fork", "--help") = 1 5177 gnutls_global_init(0x7fff842ddbd5, 0x4015cb, 0, 45, 0x7fe51615f320) = 0 5177 fork() = 5179 5177 gnutls_rnd(1, 0x7fff842dc210, 32, -1, 5177) = 0 5177 waitpid(5179, NULL, 0 5177 --- SIGINT (Interrupt) --- 5179 --- SIGINT (Interrupt) --- 5177 +++ killed by SIGINT +++ 5179 +++ killed by SIGINT +++