An implementation of strace