mmap(NULL, 0, 0, 0, 0, 0) = -1 EBADF (Bad file descriptor)
mmap(0xfacefeed000, 24576, 0x3, 0x22, -1, 0xcafedeadbeef000) = 0x3f9f1ae000
msync(0x3f9f1ae000, 24576, 0x4) = 0
mprotect(0x3f9f1ae000, 24576, 0) = 0
mremap(0x3f9f1ae000, 24576, 12288, 0) = 0x3f9f1ae000
mremap(0x3f9f1ae000, 12288, 8192, 0x3, 0x3f9f1b1000) = 0x3f9f1b1000
munmap(0x3f9f1b1000, 8192) = 0
mlockall(0x2) = 0
+++ exited with 0 +++
