qemu-1.2.2 for record and replay