os/libc/include/stdio.h

void print(char* s);
void input(char* buf);