static void task_allocator_demo(void)
{
    void *buffer = rtos_malloc_tagged(64u, "telemetry");
    rtos_free(buffer);

    (void)rtos_malloc_tagged(16u, "intentional-leak");

    for (;;) {
        rtos_alloc_report_t report = rtos_alloc_report();
        cos_lpc51u68_uart0_puts("alloc current ");
        cos_lpc51u68_uart0_put_hex32(report.current_bytes);
        cos_lpc51u68_uart0_puts(" peak ");
        cos_lpc51u68_uart0_put_hex32(report.peak_bytes);
        cos_lpc51u68_uart0_puts(" leaks ");
        cos_lpc51u68_uart0_put_hex32(report.leak_count);
        cos_lpc51u68_uart0_puts("\r\n");
        rtos_delay_ticks(1000u);
    }
}