static void mach_logger(struct machine_t * mach, const char * buf, int count) { sandbox_stdio_write((void *)buf, count); }
static ssize_t console_sandbox_write(struct console_t * console, const unsigned char * buf, size_t count) { return sandbox_stdio_write((void *)buf, count); }