#pragma once #define debug_init tomsg__debug_init #define debug_deinit tomsg__debug_deinit #define debugf tomsg__debugf void debug_init(void); void debug_deinit(void); __attribute__((format (printf, 1, 2))) void debugf(const char *restrict format, ...);