diff --git a/py/gc.c b/py/gc.c
index 8c4bc691e8..7f2035668e 100644
--- a/py/gc.c
+++ b/py/gc.c
@@ -12,7 +12,7 @@
 #define DEBUG_PRINT (1)
 #define DEBUG_printf DEBUG_printf
 #else // don't print debugging info
-#define DEBUG_printf(args...) (void)0
+#define DEBUG_printf(...) (void)0
 #endif
 
 typedef unsigned char byte;
diff --git a/py/objfun.c b/py/objfun.c
index fa6a734d04..a94978e3a4 100644
--- a/py/objfun.c
+++ b/py/objfun.c
@@ -17,7 +17,7 @@
 #if 0 // print debugging info
 #define DEBUG_PRINT (1)
 #else // don't print debugging info
-#define DEBUG_printf(args...) (void)0
+#define DEBUG_printf(...) (void)0
 #endif
 
 /******************************************************************************/
diff --git a/py/runtime.c b/py/runtime.c
index b9caf04570..ca08ce3d1f 100644
--- a/py/runtime.c
+++ b/py/runtime.c
@@ -25,10 +25,10 @@
 #define DEBUG_PRINT (1)
 #define WRITE_CODE (1)
 #define DEBUG_printf DEBUG_printf
-#define DEBUG_OP_printf(args...) DEBUG_printf(args)
+#define DEBUG_OP_printf(...) DEBUG_printf(__VA_ARGS__)
 #else // don't print debugging info
-#define DEBUG_printf(args...) (void)0
-#define DEBUG_OP_printf(args...) (void)0
+#define DEBUG_printf(...) (void)0
+#define DEBUG_OP_printf(...) (void)0
 #endif
 
 // locals and globals need to be pointers because they can be the same in outer module scope