Use portable POSIX for formatting 64bits numbers in printf

dmt/msgPrinter.py

@@ -69,7 +69,7 @@ class Printer(RecursiveMapper):
     def MapInteger(self, srcCVariable, prefix, _, __, ___):
         lines = []
         lines.append('#if WORD_SIZE==8')
-        lines.append('printf("%%s%s %%lld\\n", paramName, %s);' % (prefix, srcCVariable))
+        lines.append('printf("%%s%s %%"PRId64"\\n", paramName, %s);' % (prefix, srcCVariable))
         lines.append('#else')
         lines.append('printf("%%s%s %%d\\n", paramName, %s);' % (prefix, srcCVariable))
         lines.append('#endif')

dmt/msgPrinterASN1.py

@@ -67,7 +67,7 @@ class Printer(RecursiveMapper):
     def MapInteger(self, srcCVariable, unused, _, __, ___):
         lines = []
         lines.append('#if WORD_SIZE==8')
-        lines.append('printf("%%lld", %s);' % srcCVariable)
+        lines.append('printf("%%"PRId64, %s);' % srcCVariable)
         lines.append('#else')
         lines.append('printf("%%d", %s);' % srcCVariable)
         lines.append('#endif')