path: root/t/user.tc

printf("<h1>User ");
printf("%d", id); 
printf(": ");
printf("%s",  user->name );
printf("</h1>");