A full system Record/Replay implementation in qemu-0.13.0