Added add-mp-tail-trace!