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