-#define firm_dbg_set_mask(module, mask)
-#define firm_dbg_get_mask(module)
-#define firm_dbg_set_file(module, file)
+#define firm_dbg_set_mask(module, mask) (void)0
+#define firm_dbg_get_mask(module) (void)0
+#define firm_dbg_set_file(module, file) (void)0