mmap(0xaaaae6332000, 4096, 0, 0x32, -1, 0) = 0xaaaae6332000
mprotect(0xffff7fa48000, 4096, 0x1) = 0
mprotect(0xaaaae632f000, 4096, 0x1) = 0
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 +++
