#include "syscall.h" void output(char* s) { int nb = 10; int i; for(i=0;i