#include <stdio.h>
#include <stdarg.h>

#include "tx.h"

int goputs(const char *s);

int xprintf(char* fmt, ...) {
	int len;
   char sb[1024];
	va_list vl;
   va_start(vl, fmt);
   len = vsnprintf(sb, sizeof(sb), (const char*)fmt, vl);
   va_end(vl);
   goputs((const char*)sb);
   return len;
}

int getNumber() {
   xprintf("Hello from getNumber!\r\n");
   return 12345;
}

char* getString() {
   xprintf("Hello from getString!\r\n");
   return "abcde";
}

void callback(f_ptr f) {
   xprintf("%d!\r\n", (int)f);
   if(((int)f)!=0) f();
}