void host_print(const char *s);