mmap2(0x484000, 4096, 0, 0x32, -1, 0) = 0x484000
mprotect(0xb7f48000, 4096, 0x1) = 0
mprotect(0x481000, 4096, 0x1) = 0
mmap2(NULL, 0, 0, 0, 0, 0) = -1 EBADF (Bad file descriptor)
mmap2(0xfaced000, 24576, 0x3, 0x22, -1, 0xdeadbeef000) = 0xb7e85000
msync(0xb7e85000, 24576, 0x4) = 0
mprotect(0xb7e85000, 24576, 0) = 0
mremap(0xb7e85000, 24576, 12288, 0) = 0xb7e85000
mremap(0xb7e85000, 12288, 8192, 0x3, 0xb7e88000) = 0xb7e88000
munmap(0xb7e88000, 8192) = 0
mlockall(0x2) = 0
+++ exited with 0 +++
