__puts             64 user/include/stdio.h int __puts(const char *);
__puts             39 user/lib/libc/stdio/puts.c 	__puts(s);