#include <string.h>
#include <stdio.h>
#include <stdint.h>
#include <inttypes.h>

#define DBG_UART_TX_TIMEOUT 250

static char buffer[1000] = "";

void DBG_println(const char *fmt, ...)
{
    memset(buffer, '\0', sizeof buffer);

    va_list args;
    va_start(args, fmt);
    vsnprintf(buffer, sizeof buffer, fmt, args);
    va_end(args);

    HAL_UART_Transmit(&DBG_UART_PORT, (uint8_t *) buffer, strlen(buffer), DBG_UART_TX_TIMEOUT);
    HAL_UART_Transmit(&DBG_UART_PORT, (uint8_t *) "\r\n", strlen("\r\n"), DBG_UART_TX_TIMEOUT);
}

int main()
{
    uint8_t universe = 42;
    DBG_println("Hello universe %" PRIu8 "", universe);
}