mmap2(NULL, 0, 0, 0, 0, 0) = -1 EBADF (Bad file descriptor)
mmap2(0xfaced000, 24576, 0x3, 0x22, -1, 0xdeadbeef000) = 0xb7e92000
msync(0xb7e92000, 24576, 0x4) = 0
mprotect(0xb7e92000, 24576, 0) = 0
mremap(0xb7e92000, 24576, 12288, 0) = 0xb7e92000
mremap(0xb7e92000, 12288, 8192, 0x3, 0xb7e95000) = 0xb7e95000
munmap(0xb7e95000, 8192) = 0
mlockall(0x2) = 0
+++ exited with 0 +++
