mmap(0x562a50ab9000, 4096, 0, 0x32, -1, 0) = 0x562a50ab9000
mprotect(0x7ff6f3a69000, 4096, 0x1) = 0
mprotect(0x562a50ab6000, 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 +++
