mmap2(0x4d3000, 4096, 0, 0x32, -1, 0) = 0x4d3000
mprotect(0xb7f2e000, 4096, 0x1) = 0
mprotect(0x4d0000, 4096, 0x1) = 0
mmap2(NULL, 0, 0, 0, 0, 0) = -1 EBADF (Bad file descriptor)
mmap2(0xfaced000, 24576, 0x3, 0x22, -1, 0xdeadbeef000) = 0xb7e6b000
msync(0xb7e6b000, 24576, 0x4) = 0
mprotect(0xb7e6b000, 24576, 0) = 0
mremap(0xb7e6b000, 24576, 12288, 0) = 0xb7e6b000
mremap(0xb7e6b000, 12288, 8192, 0x3, 0xb7e6e000) = 0xb7e6e000
munmap(0xb7e6e000, 8192) = 0
mlockall(0x2) = 0
+++ exited with 0 +++
