@@ -0,0 +1,507 @@
+import simuvex%0A%0Aclass mmap(simuvex.SimProcedure):%0A    def run(self, addr, length, prot, flags, fd, offset): #pylint:disable=arguments-differ,unused-argument%0A%0A        return self.inline_call(simuvex.SimProcedures%5B'syscalls'%5D%5B'mmap'%5D,%0A                                addr,%0A                                length,%0A                                prot,%0A                                flags,%0A                                fd,%0A                                offset,%0A                                ).ret_expr%0A

Add a new SimProcedure for mmap in libc.