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

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

  for (size_t i = 0; i < argslen(); i++) {
    uprintf("i = %d\n", i);
    uprintf("arg: %s\n", args()[i]);
  }
}