#include <stdio.h>
#include <stdarg.h>
#include <stdlib.h>
#include "_stdio.h"

#if defined(_HC12)
#pragma nonpaged_function putchar
#endif
	
int vprintf(CONST char *fmt, va_list va)
	{
	return _print((void (*)(char))putchar, fmt, va);
	}