12071 +++ superseded by execve in pid 12072 +++
12070 readv(3, [{iov_base="", iov_len=4}], 1) = 0
12070 +++ exited with 0 +++
