/* ... support */

typedef unsigned char *va_list;
#define va_start(parm) (((unsigned char *)&parm))
#define va_arg(ap, type) (*(type *)(ap-=sizeof(type)))

/* standard output routine definition */

#define stdio_putchar 	sci_putchar

extern void stdio_putchar(char character);

/* exported functions */

void printf(char *format, ...);
void sprintf(char *dest, char *format, ...);