void sio_output_start(void) { } void sio_output_stop(void) { } void init_sio(void) { } void sio_print(void) { } void sio_printf(void) { } int sio_getchar2(void) { return -1; /* EOF */ } int getchar(void) { return 0; } void sio_putchar(void) { } void sio_getchar(void) { } void sio_puts(void) { } void sio_setup(void) { } void sio_dump(void) { }