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