@@ -0,0 +1,640 @@
+import logging%0Afrom simuvex.s_format import FormatParser%0Afrom . import _IO_FILE%0A%0Al = logging.getLogger(%22simuvex.procedures.libc_so_6.fprintf%22)%0A%0A######################################%0A# fprintf%0A######################################%0A%0Aclass fprintf(FormatParser):%0A%0A    def run(self, file_ptr):%0A        # The format str is at index 1%0A        fmt_str = self._parse(1)%0A        out_str = fmt_str.replace(2, self.arg)%0A%0A        fd_offset = _IO_FILE%5Bself.state.arch.name%5D%5B'fd'%5D%0A        fileno = self.state.mem%5Bfile_ptr + fd_offset:%5D.int.resolved%0A        self.state.posix.write(fileno, out_str, out_str.size() / 8)%0A%0A        return out_str.size() / 8%0A

Add fprintf simprocedure