#include <uprintf.h>
#include <dlmalloc/malloc.h>

void main(void) {
  uprintf("Hello from tb!\n");

  int *tmp = dlmalloc(sizeof(*tmp) * 1024);
  *tmp = 123456;
  uprintf("*tmp = %d\n", *tmp);
  dlfree(tmp);
}