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