static void *make_msg_info(const firm_dbg_module_t *mod, const char *fmt, va_list args)
{
static const char msg_header[] = "%s(%d) %s: ";
static void *make_msg_info(const firm_dbg_module_t *mod, const char *fmt, va_list args)
{
static const char msg_header[] = "%s(%d) %s: ";