strace: A system call tracer