mmap2(0x4c7000, 4096, 0, 0x32, -1, 0) = 0x4c7000
mprotect(0xb7f41000, 4096, 0x1) = 0
mprotect(0x4c4000, 4096, 0x1) = 0
mmap2(NULL, 0, 0, 0, 0, 0) = -1 EBADF (Bad file descriptor)
mmap2(0xfaced000, 24576, 0x3, 0x22, -1, 0xdeadbeef000) = 0xb7e7e000
msync(0xb7e7e000, 24576, 0x4) = 0
mprotect(0xb7e7e000, 24576, 0) = 0
mremap(0xb7e7e000, 24576, 12288, 0) = 0xb7e7e000
mremap(0xb7e7e000, 12288, 8192, 0x3, 0xb7e81000) = 0xb7e81000
munmap(0xb7e81000, 8192) = 0
mlockall(0x2) = 0
+++ exited with 0 +++
