#include <kolibrisys.h>
#include <stdlib.h>
#include <stdio.h>
int vsnprintf(char *dest, size_t size, const char *format, va_list ap)
{
return format_print(dest,size, format, ap);
}
int vsprintf (char * dest, const char * format, va_list ap )
return format_print(dest, 4096, format, ap);